Sam Tobin-Hochstadt
e78788ce0e
Run tests in new namespaces.
...
svn: r10180
original commit: d9134861c45c593f50b6add3fe95ef00f27d457a
2008-06-06 17:19:53 +00:00
Sam Tobin-Hochstadt
55b2a8b731
Add new tests.
...
Fix old tests for new Struct datatype.
svn: r10161
original commit: 5a8bc6fabb684b09e847535c170a8105ae596479
2008-06-05 21:42:44 +00:00
Sam Tobin-Hochstadt
6a6ebbae46
Don't statically require mred in tests.
...
svn: r9928
original commit: a973a8cbd579bcf974456132f087843deee23ecc
2008-05-22 16:36:06 +00:00
Sam Tobin-Hochstadt
103a959de1
fix test
...
svn: r9924
original commit: 833bebbd3b237f7fa31632affa410912d5dab533
2008-05-21 20:10:39 +00:00
Sam Tobin-Hochstadt
526b3e3e98
move to correct dir
...
svn: r9909
original commit: e8123b83eccda0a6dd357f1dd653dbd67bbb27f5
2008-05-20 20:40:48 +00:00
Sam Tobin-Hochstadt
fb87901c3f
Finally fixed metric.ss
...
svn: r9908
original commit: c44d686a156c9b46b421b8dc3c4d99b50b997f3e
2008-05-20 20:40:14 +00:00
Sam Tobin-Hochstadt
5f3571f3d1
move not-passing tests
...
svn: r9707
original commit: b7d6c442b68e896bdd10cf711bafc4c9b2934241
2008-05-06 22:54:20 +00:00
Sam Tobin-Hochstadt
46da2ae802
new files
...
svn: r9706
original commit: 6825658675db01adfdd088a2efee29fd04aa8c1b
2008-05-06 22:53:30 +00:00
Sam Tobin-Hochstadt
d6b097e5b6
New tests from Richard's bug reports.
...
svn: r9700
original commit: a3d192bc51eb9a6af22492ee2a0db20131c07179
2008-05-06 20:40:10 +00:00
Sam Tobin-Hochstadt
433004b549
Test for more stuff.
...
svn: r9675
original commit: 5439241f53b403e95db3b9c637f769877f834866
2008-05-06 00:44:18 +00:00
Sam Tobin-Hochstadt
0a434ecda3
more tests
...
svn: r9673
original commit: 2fc38964e50d00a899c64c4517c858ad3cfaa512
2008-05-06 00:34:28 +00:00
Sam Tobin-Hochstadt
b77aba3d6b
More tests.
...
svn: r9664
original commit: 914de50133c8128cc9fe4b8a925f74a2c0a35645
2008-05-05 21:20:02 +00:00
Sam Tobin-Hochstadt
1976c16563
test for parameters
...
svn: r9659
original commit: 62cd19a42b3881cba6b66647ccd35c3e87ffb596
2008-05-05 17:00:32 +00:00
Sam Tobin-Hochstadt
0c8597a4d1
New test for multi-arg andmap.
...
Fix more things to be Integer.
Finally fix parse-type tests.
svn: r9615
original commit: 38e0297b074f5265f2acae112644d920982b493b
2008-05-03 00:03:43 +00:00
Sam Tobin-Hochstadt
2420a28529
new test
...
svn: r9610
original commit: 4e54165e2a011bf2b32b56d0d075d29d3e0299bb
2008-05-02 22:22:44 +00:00
Sam Tobin-Hochstadt
f21a54a6cb
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
original commit: 32730fff6b564078f359235cb0a1ff67c791134e
2008-05-02 22:21:01 +00:00
Sam Tobin-Hochstadt
30eb3d08e0
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
original commit: ccd1337e310ace6eea15fc2d87d8fb7f11a1d69c
2008-05-02 17:20:05 +00:00
Sam Tobin-Hochstadt
09dbb124b9
Most typecheck tests now pass.
...
Add two new success tests.
svn: r9577
original commit: 567e438f1d77d31aae4e25ea250da644638fb5de
2008-05-01 22:53:10 +00:00
Sam Tobin-Hochstadt
7df9d1983a
Disable tests for old inference.
...
svn: r9550
original commit: c714d0ac594a8372122bff137b51f0ba19facb97
2008-04-30 21:54:03 +00:00
Sam Tobin-Hochstadt
375a4f5289
Ignore.
...
Remove supurious annotation.
svn: r9537
original commit: ab81b1d64feb13532d77dccf1b21bfd820793a19
2008-04-29 21:42:16 +00:00
Sam Tobin-Hochstadt
16fffb8706
Fix indentation.
...
Add missing variable annotation.
Remove unecessary annotations.
Now pass.
svn: r9522
original commit: 53709f1faffae5533a8a700582d13a817c829dd6
2008-04-28 21:21:30 +00:00
Sam Tobin-Hochstadt
9fd128f7e5
Add typed scheme tests.
...
svn: r9404
original commit: fca36c126c2f26e8e930ad66220b4dccd6c86028
2008-04-22 21:58:10 +00:00
