typed-racket

Typed Racket

Go to file

Sam Tobin-Hochstadt 4627335b14 Fold tc/let-values/check into tc/let-values. Remove printfs. More metafunctions to handle splitting and merging filter sets. Handle `delay', `list', `list*' Implement tc/funapp for the simple case. Make `id-from' a stxclass. Shuffle code around so that it compiles. Type parsing now handles multiple values properly, and has a values and results entry point. svn: r14680 original commit: b4d100d60cb99e714374d2db3c75a36167b109cc	2009-05-01 21:18:23 +00:00
collects	Fold tc/let-values/check into tc/let-values.	2009-05-01 21:18:23 +00:00

Sam Tobin-Hochstadt 4627335b14 Fold tc/let-values/check into tc/let-values.

Remove printfs.
More metafunctions to handle splitting and merging filter sets.
Handle `delay', `list', `list*'
Implement tc/funapp for the simple case.
Make `id-from' a stxclass.
Shuffle code around so that it compiles.
Type parsing now handles multiple values properly, and has a values and results entry point.

svn: r14680

original commit: b4d100d60cb99e714374d2db3c75a36167b109cc

2009-05-01 21:18:23 +00:00

collects

Fold tc/let-values/check into tc/let-values.

2009-05-01 21:18:23 +00:00