suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
480 Commits 13 Branches 1 Tag 9.2 MiB
7b43128a36
Commit Graph

8 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
358a8d5ca6 Remove debugging printfs. 
Comment tests back in.

svn: r14748

original commit: 3575ba8d5fb8ee8378c69165e88f1af444795a2c
 2009-05-08 19:10:12 +00:00
Sam Tobin-Hochstadt
d2bea2a771 Add missing file. 
Fix bug in struct type creation.
Add ability to disable printing dynamically.
Fix recursion into objects & paths.

svn: r14747

original commit: dbe5556b45a036e0457dc2f5ae6abcfad31d2947
 2009-05-08 19:00:07 +00:00
Sam Tobin-Hochstadt
f031868e1b Type inference for ((lambda with rest args 
svn: r14739

original commit: aa887be6d2def1ba9f3c57abb82b31f771ff35f9
 2009-05-07 17:40:29 +00:00
Sam Tobin-Hochstadt
783581aa49 Handle polymorphic function application. 
Paths work with car/cdr.
Fix #%require/#%provide top-level handling.

svn: r14735

original commit: 50696a08a31258428edf4af9d58c84d763a2bc17
 2009-05-06 22:45:12 +00:00
Sam Tobin-Hochstadt
e4997f6176 Remove `make-arr/values' 
Accessors now have appropriate latent objects
Handle function application for unions, error, mu, parameters

svn: r14724

original commit: 07341c605b9660333444665265a4fb3104efdc6e
 2009-05-05 23:03:02 +00:00
Sam Tobin-Hochstadt
dfcd59c8fa Handle rest args and case-lambda in app. 
Fix parsing.

svn: r14722

original commit: 59dbcade9c888afac614dba06b4c93cdff64c6b7
 2009-05-05 19:10:21 +00:00
Sam Tobin-Hochstadt
c5bb0e753d `values->tc-results' needs the formals 
Fix values->tc-results for ValuesDots
Don't generate problematic nested lists.
Fix stupid typo.
Parsing of tc-results now doesn't use parsing of values, which does something different.

svn: r14713

original commit: 9c538764dcd499d9b8a04b415a88835ccd55f1c9
 2009-05-04 18:49:56 +00:00
Sam Tobin-Hochstadt
da63bcbcb7 more tests 
svn: r14685

original commit: 16305c20ff620f56df136583663a735b02f9a3a8
 2009-05-02 01:45:50 +00:00