Sam Tobin-Hochstadt
|
8307bf835b
|
Fix new inference algorithm to handle all test cases.
svn: r9538
|
2008-04-29 21:42:37 +00:00 |
|
Sam Tobin-Hochstadt
|
ad75b18eaf
|
Use new inference engine.
svn: r9530
|
2008-04-29 01:55:37 +00:00 |
|
Sam Tobin-Hochstadt
|
1d21ec5dda
|
Control multiple errors with a parameter.
Don't use same code for handling type ascription and annotation.
svn: r9529
|
2008-04-29 01:42:07 +00:00 |
|
Sam Tobin-Hochstadt
|
a39a9ddfb7
|
comment out exampled
svn: r9521
|
2008-04-28 21:21:29 +00:00 |
|
Sam Tobin-Hochstadt
|
0255f00130
|
fix again
svn: r9520
|
2008-04-28 21:21:29 +00:00 |
|
Sam Tobin-Hochstadt
|
032a4eb7b9
|
aaaah!
svn: r9519
|
2008-04-28 21:21:28 +00:00 |
|
Sam Tobin-Hochstadt
|
72effc076d
|
Add matthew's test case.
svn: r9518
|
2008-04-28 21:21:27 +00:00 |
|
Sam Tobin-Hochstadt
|
1ca37e8def
|
Fix comparison.
svn: r9517
|
2008-04-28 21:21:27 +00:00 |
|
Sam Tobin-Hochstadt
|
3f5550e705
|
fix
svn: r9516
|
2008-04-28 21:21:26 +00:00 |
|
Sam Tobin-Hochstadt
|
0f2fc610ce
|
better err message
don't create duplicate imports
svn: r9515
|
2008-04-28 21:21:26 +00:00 |
|
Sam Tobin-Hochstadt
|
5b19df4bcb
|
check for dups
svn: r9514
|
2008-04-28 21:21:25 +00:00 |
|
Sam Tobin-Hochstadt
|
029e4eb86e
|
delay type error messages for type parsing.
svn: r9410
|
2008-04-22 22:05:34 +00:00 |
|
Sam Tobin-Hochstadt
|
f9a0378510
|
Provide more stuff for testing.
svn: r9409
|
2008-04-22 22:05:34 +00:00 |
|
Sam Tobin-Hochstadt
|
3d020b33fd
|
Handle 0 and 1 cases better.
Use sync to avoid sleeping.
svn: r9407
|
2008-04-22 22:05:33 +00:00 |
|
Sam Tobin-Hochstadt
|
2ecee0968c
|
compiles
svn: r9406
|
2008-04-22 22:05:32 +00:00 |
|
Sam Tobin-Hochstadt
|
bd9d8b5ff3
|
Multiple type errors.
svn: r9405
|
2008-04-22 22:05:31 +00:00 |
|
Sam Tobin-Hochstadt
|
1039055628
|
Don't print "checked foo".
Improve names in recursive contracts.
svn: r9298
|
2008-04-14 18:13:59 +00:00 |
|
Sam Tobin-Hochstadt
|
df6e038f26
|
Don't use source locator when it won't work.
svn: r9278
|
2008-04-12 17:58:56 +00:00 |
|
Sam Tobin-Hochstadt
|
f23af68d6b
|
Split type defns into base-types.ss
Reformat.
svn: r9273
|
2008-04-12 00:10:32 +00:00 |
|
Sam Tobin-Hochstadt
|
d54d301db3
|
fix provide generation
svn: r9260
|
2008-04-11 18:52:03 +00:00 |
|
Sam Tobin-Hochstadt
|
890cd46fa1
|
Fix mutated-vars for #%plain-lambda.
Require stuff.
Fix make-eq.
svn: r9245
|
2008-04-10 23:20:17 +00:00 |
|
Sam Tobin-Hochstadt
|
589850b998
|
Rewrite tables.ss in terms of new functional maps.
Improve error messages with contract errors.
svn: r9228
|
2008-04-09 23:29:29 +00:00 |
|
Matthew Flatt
|
021d4d7527
|
new hash function names and ops (3.99.0.23)
svn: r9209
|
2008-04-08 21:42:38 +00:00 |
|
Sam Tobin-Hochstadt
|
909c20553d
|
Use contracts for def-binding.
Better error messages from require/typed.
svn: r9204
|
2008-04-08 17:42:13 +00:00 |
|
Sam Tobin-Hochstadt
|
7b611065b1
|
Fix order of arguments to make-def-binding.
svn: r9202
|
2008-04-08 16:33:35 +00:00 |
|
Sam Tobin-Hochstadt
|
0d297c2dcf
|
fix for new -> syntax
svn: r9105
|
2008-03-28 19:41:35 +00:00 |
|
Sam Tobin-Hochstadt
|
ae4acf1d51
|
Remove old match implementation.
Fix typed-scheme to work w/ new match.
Factor out lots of common code.
Implement (mcons ..) patterns
svn: r9086
|
2008-03-25 18:26:39 +00:00 |
|
Sam Tobin-Hochstadt
|
709741fc96
|
fix or pattern
svn: r9059
|
2008-03-22 02:27:13 +00:00 |
|
Sam Tobin-Hochstadt
|
b0f41af021
|
Switch to #lang everywhere.
Fix up requires to use srfi-1 less, and in a uniform way.
svn: r9030
|
2008-03-20 13:31:18 +00:00 |
|
Sam Tobin-Hochstadt
|
7f3c8510de
|
Handle Integer in contract generation.
Fix provide checking.
svn: r8980
|
2008-03-15 19:01:39 +00:00 |
|
Sam Tobin-Hochstadt
|
f7d6b01d26
|
Remove tool.
Improve error message source.
Add `build-list'
Don't give internal error when inference returns a bad result.
svn: r8885
|
2008-03-04 23:09:45 +00:00 |
|
Eli Barzilay
|
5ff5d6c580
|
misc things
svn: r8866
|
2008-03-04 02:46:54 +00:00 |
|
Sam Tobin-Hochstadt
|
0d54ed5e74
|
Add Typed Scheme as a collection.
svn: r8864
|
2008-03-03 22:57:55 +00:00 |
|