Sam Tobin-Hochstadt
|
d7cf0a10c0
|
new test
|
2008-06-24 11:43:06 -04:00 |
|
Stevie Strickland
|
e4a0dc82b3
|
Let's also try out the abstracted version of this function.
|
2008-06-21 21:09:03 -04:00 |
|
Stevie Strickland
|
48961eb551
|
Remove the bits and pieces used to diagnose the original file, and add the
non-outer-apply versions (that have no reason not to work).
|
2008-06-20 17:50:15 -04:00 |
|
Stevie Strickland
|
ce58c4c676
|
Revert last change.
|
2008-06-20 15:47:22 -04:00 |
|
Sam Tobin-Hochstadt
|
b2edd9d197
|
Remove no-longer-needed inst.
|
2008-06-20 15:27:59 -04:00 |
|
Sam Tobin-Hochstadt
|
89cb3a4b09
|
Small changes needed after changes to infer.
|
2008-06-20 14:46:24 -04:00 |
|
Sam Tobin-Hochstadt
|
bec9c11fd4
|
Correct and incorrect uses of dotted identity
|
2008-06-20 13:07:42 -04:00 |
|
Stevie Strickland
|
a1f078fb59
|
Another change.
|
2008-06-19 19:12:39 -04:00 |
|
Stevie Strickland
|
af12feb729
|
Another example, putting in starred for dots.
|
2008-06-19 19:10:05 -04:00 |
|
Sam Tobin-Hochstadt
|
2bf691991c
|
New test
|
2008-06-19 18:04:30 -04:00 |
|
Sam Tobin-Hochstadt
|
e62598ef08
|
More tests!
|
2008-06-19 16:55:26 -04:00 |
|
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 |
|