Sam Tobin-Hochstadt
2a7dbe2a80
Add unit test for dotted instantiation, and add version of
...
fold-left/fold-right that explicitly instantiates the
recursive call.
2008-06-19 14:59:19 -04:00
Sam Tobin-Hochstadt
36408a32d5
Fix test to expecte effects.
...
Remove useless annotation.
2008-06-19 13:23:27 -04:00
Sam Tobin-Hochstadt
1af866586e
Fix tests, add filter tests.
2008-06-19 12:41:06 -04:00
Stevie Strickland
8256f922f9
Instantiation... seems to be broken. Adding unit tests to alert us to that
...
fact.
2008-06-18 18:22:16 -04:00
Sam Tobin-Hochstadt
8a66c759dc
Fix identifier issues in fold-left/fold-right.
2008-06-18 17:36:12 -04:00
Sam Tobin-Hochstadt
b5bfb18961
Tests in here that now succeed
2008-06-18 17:22:16 -04:00
Stevie Strickland
f1211df156
I don't know why this wasn't caught before, but with recent changes, it's now
...
caught correctly.
2008-06-18 16:16:11 -04:00
Stevie Strickland
449a784c1d
Remove this, as it isn't needed.
2008-06-18 16:03:45 -04:00
Stevie Strickland
f80711bc9e
Split this out into what should succeed and what should fail.
2008-06-18 15:07:00 -04:00
Stevie Strickland
0c6ad7f08b
Forgot to add stars here.
2008-06-18 15:06:48 -04:00
Stevie Strickland
467b138cda
New test for lambda formal list mismatches.
2008-06-18 15:03:12 -04:00
Stevie Strickland
4b3508a890
Add * where appropriate.
2008-06-18 13:01:43 -04:00
Sam Tobin-Hochstadt
8e498458aa
More tests. Not all of them pass yet, but we are hopeful.
2008-06-17 18:10:41 -04:00
Sam Tobin-Hochstadt
3f180f88da
New tests
2008-06-17 16:24:30 -04:00
Sam Tobin-Hochstadt
59e2dc4dea
New tests
2008-06-17 14:28:41 -04:00
Sam Tobin-Hochstadt
93c937f909
Adding testcases for dotted function application to rest args via apply.
2008-06-17 12:58:15 -04:00
Sam Tobin-Hochstadt
c7733e5e34
Use map instead of map*
2008-06-17 10:46:39 -04:00
Stevie Strickland
bcb205a930
Add examples of each.
2008-06-16 19:02:45 -04:00
Sam Tobin-Hochstadt
a43b2f5681
Change map* to map.
2008-06-16 13:28:27 -04:00
Sam Tobin-Hochstadt
27073e07fd
More testing.
2008-06-13 17:04:22 -04:00
Stevie Strickland
df91f204d2
Test cases that should succeed and fail for star/dots mixes.
2008-06-13 12:08:43 -04:00
Stevie Strickland
6da5171b28
Add fixed-args mismatch between starred/dotted functions.
2008-06-12 14:08:23 -04:00
Sam Tobin-Hochstadt
eb9147a0fa
Add new tests
2008-06-11 17:16:58 -04:00
Sam Tobin-Hochstadt
97847c32c4
Added new test for constraint solving on starred functions with different fixed arg lengths.
2008-06-11 11:41:46 -04:00
Sam Tobin-Hochstadt
4ae4141257
Changes to tests for ...
2008-06-10 16:40:05 -04:00
Sam Tobin-Hochstadt
d9134861c4
Run tests in new namespaces.
...
svn: r10180
2008-06-06 17:19:53 +00:00
Sam Tobin-Hochstadt
5a8bc6fabb
Add new tests.
...
Fix old tests for new Struct datatype.
svn: r10161
2008-06-05 21:42:44 +00:00
Sam Tobin-Hochstadt
a973a8cbd5
Don't statically require mred in tests.
...
svn: r9928
2008-05-22 16:36:06 +00:00
Sam Tobin-Hochstadt
833bebbd3b
fix test
...
svn: r9924
2008-05-21 20:10:39 +00:00
Sam Tobin-Hochstadt
e8123b83ec
move to correct dir
...
svn: r9909
2008-05-20 20:40:48 +00:00
Sam Tobin-Hochstadt
c44d686a15
Finally fixed metric.ss
...
svn: r9908
2008-05-20 20:40:14 +00:00
Sam Tobin-Hochstadt
b7d6c442b6
move not-passing tests
...
svn: r9707
2008-05-06 22:54:20 +00:00
Sam Tobin-Hochstadt
6825658675
new files
...
svn: r9706
2008-05-06 22:53:30 +00:00
Sam Tobin-Hochstadt
a3d192bc51
New tests from Richard's bug reports.
...
svn: r9700
2008-05-06 20:40:10 +00:00
Sam Tobin-Hochstadt
5439241f53
Test for more stuff.
...
svn: r9675
2008-05-06 00:44:18 +00:00
Sam Tobin-Hochstadt
2fc38964e5
more tests
...
svn: r9673
2008-05-06 00:34:28 +00:00
Sam Tobin-Hochstadt
914de50133
More tests.
...
svn: r9664
2008-05-05 21:20:02 +00:00
Sam Tobin-Hochstadt
62cd19a42b
test for parameters
...
svn: r9659
2008-05-05 17:00:32 +00:00
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
