Sam Tobin-Hochstadt
38e0297b07
New test for multi-arg andmap.
...
Fix more things to be Integer.
Finally fix parse-type tests.
svn: r9615
2008-05-03 00:03:43 +00:00
Sam Tobin-Hochstadt
4e54165e2a
new test
...
svn: r9610
2008-05-02 22:22:44 +00:00
Sam Tobin-Hochstadt
32730fff6b
Run typecheck-tests expansion at runtime, to make compiling work.
...
Comment-out now-failing tests, because of marhalling issues.
Fix fv-tests.
Don't use reader syntax in annotation-tests.
Try some stuff for parse-type-tests.
Add new regression test.
svn: r9608
2008-05-02 22:21:01 +00:00
Sam Tobin-Hochstadt
ccd1337e31
Use syntax-loc in tests.
...
Don't check that effects match, since they may involve identifiers.
Fix tests for correct type names, Integer.
svn: r9595
2008-05-02 17:20:05 +00:00
Sam Tobin-Hochstadt
567e438f1d
Most typecheck tests now pass.
...
Add two new success tests.
svn: r9577
2008-05-01 22:53:10 +00:00
Sam Tobin-Hochstadt
c714d0ac59
Disable tests for old inference.
...
svn: r9550
2008-04-30 21:54:03 +00:00
Sam Tobin-Hochstadt
ab81b1d64f
Ignore.
...
Remove supurious annotation.
svn: r9537
2008-04-29 21:42:16 +00:00
Sam Tobin-Hochstadt
53709f1faf
Fix indentation.
...
Add missing variable annotation.
Remove unecessary annotations.
Now pass.
svn: r9522
2008-04-28 21:21:30 +00:00
Sam Tobin-Hochstadt
fca36c126c
Add typed scheme tests.
...
svn: r9404
2008-04-22 21:58:10 +00:00
