typed-racket/collects/tests/typed-scheme
Sam Tobin-Hochstadt eb77d9debc Fix name of Type/c
Fix fold on Result.
Add comments.
New -struct constructor with opt args.
Fix tests to agree with contracts.

svn: r13934

original commit: 9d0ee637c74b0d7705d7b9fc60ee0712cac6b0f9
2009-03-03 23:18:00 +00:00
..
fail Fix error message when polymorphic inference fails because of expected type. 2009-02-16 02:12:13 +00:00
succeed use exact-integer? instead of integer? 2009-02-04 23:06:35 +00:00
unit-tests Fix name of Type/c 2009-03-03 23:18:00 +00:00
main.ss Fix automated TS tests. 2008-10-06 19:41:30 +00:00
run.ss TS tests now work, and are not noisy when succeeding 2008-10-24 19:50:24 +00:00