suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
27,626 Commits 17 Branches 54 Tags 278 MiB
4933d9f00f
Commit Graph

102 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
696583582b Add struct constructor table. 2013-01-11 18:40:20 -05:00
Asumu Takikawa
f577b49a4d Fix polydots 
- parsing of polydots values was fixed
 - certain polydots error cases are now reported
 - the custom application rule for values was fixed

Closes PR 13365

Please merge to 5.3.2
 2013-01-09 18:12:45 -05:00
Asumu Takikawa
13b831f0ec Fix unsound type variable scoping 
Closes PR 13123
 2012-12-13 17:54:58 -05:00
Asumu Takikawa
c7162ec533 Fix TR error for missing mandatory keywords 2012-12-06 12:20:54 -05:00
Asumu Takikawa
5802b42f66 Support path/object reasoning for promises 2012-12-04 18:03:11 -05:00
Asumu Takikawa
42fc3aeda0 Refactor (make argument arity clear) 2012-11-30 17:37:33 -05:00
Asumu Takikawa
904db66f65 Rename control types to be consistent with other types 2012-11-30 17:37:33 -05:00
Sam Tobin-Hochstadt
29d54fb0d0 Starting on control typing. 2012-11-30 17:37:32 -05:00
Vincent St-Amour
e2007abd7a Heterogenous -> heterogenEous. 
Found by Ray Racine.
 2012-11-20 17:06:51 -05:00
Sam Tobin-Hochstadt
056c1aaff4 Chars are compared with eqv?. 2012-11-07 12:21:09 -05:00
Sam Tobin-Hochstadt
b3c640870e Simplify fast path for typechecking simple function applications. 
Also, minorly revise subtyping code.
 2012-10-05 12:12:39 -04:00
Eric Dobson
8a8dc66a19 Replace uses of Type? in contracts with Type/c. 2012-09-27 18:10:38 -04:00
Sam Tobin-Hochstadt
c07852eaf1 Ensure that identifiers defined by struct are registered as being defined in the correct module. 2012-09-27 16:22:22 -04:00
Eric Dobson
cf4d43c04f Made free-variance have less special cases. 2012-09-27 16:22:22 -04:00
Eric Dobson
ffe45ecce4 Working covariant applications. 2012-09-27 16:22:22 -04:00
Eric Dobson
40809e768d WIP on fixing free-variance. 2012-09-27 16:22:22 -04:00
Eric Dobson
e3743b446c Split adding the struct type and the bindings. 2012-09-27 16:22:22 -04:00
Eric Dobson
40236a3b26 Cleanup define-struct parsing. 2012-09-27 16:22:22 -04:00
Eric Dobson
8ea7502c12 More cleanup of struct type registration. 2012-09-27 16:22:21 -04:00
Eric Dobson
d84391b695 More struct work 2012-09-27 16:22:21 -04:00
Eric Dobson
626f807f00 Removed cert value. 2012-09-27 16:22:21 -04:00
Eric Dobson
8226b6764c Cleanup of tc-struct and tc-toplevel. 2012-09-27 16:22:21 -04:00
Eric Dobson
d54a573494 Removed unused constructor-return argument. 2012-09-27 16:22:21 -04:00
Eric Dobson
54401182bb Make tc-struct no longer have long lines. 2012-09-27 16:22:21 -04:00
Eric Dobson
6fe850ce39 Clean up contracts in TR. 2012-09-27 16:22:21 -04:00
Eric Dobson
2a8512ed72 Removed unused fields in Struct 2012-09-27 16:22:21 -04:00
Sam Tobin-Hochstadt
eed93825ab Track mutable variables across modules. 2012-08-31 17:45:11 -04:00
Sam Tobin-Hochstadt
514c1c5921 Refactoring of new tc-app. 2012-08-27 14:46:30 -04:00
Eric Dobson
1e15d4496e Fix errors in tc/app-hetero, cleanup tc/app. 2012-08-27 14:43:45 -04:00
Eric Dobson
5c7ed4a21d Cleaned up special cases by adding macros to reduce duplication. 2012-08-27 14:43:45 -04:00
Eric Dobson
ba7647d7e2 Moved the rest of special cases to reified syntax classes. 2012-08-27 14:43:45 -04:00
Eric Dobson
dda1d60211 Rough draft of syntax classes for tc-app. 2012-08-27 14:43:45 -04:00
Eric Dobson
020d053e0a Add back template require. 2012-08-27 14:43:45 -04:00
Eric Dobson
6c2be05749 Removed dependencies from tc-app-hetero. 2012-08-27 14:43:44 -04:00
Eric Dobson
d8c9a581f2 Remove unneeded requires 2012-08-27 14:43:44 -04:00
Eric Dobson
7005f12f0d Cleanup of tc-app refactor. 2012-08-27 14:43:44 -04:00
Eric Dobson
54d49d0ec1 Moved last special cases out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
67c7e3537b Moved lambda special cases out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
51671fcec4 Moved eq? et al. special casing out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
73bd7da049 Moved object special cases out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
c2ab21c5a5 Moved keyword special cases out of tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
6034423472 Split out special cases for apply and values from tc-app.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
fcb06ac433 Move TR list special cases to tc-app-list.rkt. 2012-08-27 14:43:44 -04:00
Eric Dobson
e9f209977b Fix typechecking of polymorphic structs with parent types. 
Closes PR12998.
 2012-08-22 16:50:49 -04:00
Eric Dobson
6e2e84664d Move list-set and list-update to unstable/list. 2012-08-20 14:45:50 -04:00
Sam Tobin-Hochstadt
4c0d605c43 Fix typo detected by optimizer. 2012-08-20 13:17:50 -04:00
Eric Dobson
8545f421ab Add back ignore-some typechecking 2012-08-20 12:39:41 -04:00
Eric Dobson
533920480e Add tests for make-predicate and cast, also add support for the top-level. 
Closes PR 12939.
Closes PR 12201.
 2012-08-20 12:39:41 -04:00
Eric Dobson
cc52e56fe6 Add way for code to attach typechecks to itself, and implemented make-predicate. 2012-08-20 12:39:40 -04:00
Eric Dobson
bb67e37c49 Make TR's ignore-some property work even if there isn't an internal form. 2012-08-20 12:39:40 -04:00