racket/collects/tests/typed-scheme
Stevie Strickland 0cd54c9e33 Merging in the following code:
svn merge -r10197:10773 http://svn.plt-scheme.org/plt/branches/samth/dots
svn merge -r10210:10737 http://svn.plt-scheme.org/plt/branches/samth/dots-tests

This adds non-uniform variable-arity polymorphism to Typed Scheme.

svn: r10778
2008-07-15 19:03:59 +00:00
..
660-examples * Newlines at EOFs 2008-07-09 07:18:06 +00:00
fail Merging in the following code: 2008-07-15 19:03:59 +00:00
succeed Merging in the following code: 2008-07-15 19:03:59 +00:00
unit-tests Merging in the following code: 2008-07-15 19:03:59 +00:00
main.ss Fix exn-pred handling. 2008-07-07 15:19:50 -04:00
run More tests. 2008-05-05 21:20:02 +00:00
stress.ss Add typed scheme tests. 2008-04-22 21:58:10 +00:00