Sam Tobin-Hochstadt
|
4a328d1314
|
Add namespace ops.
Check if typecheck returned nothing for top-level form.
Improve error message.
svn: r10160
original commit: 1da9a0c4b84ea15e608a83028c07c75885082b29
|
2008-06-05 21:36:45 +00:00 |
|
Sam Tobin-Hochstadt
|
f7e9881b1d
|
Reduce quantity of requires.
svn: r9665
original commit: dbc3fa436750cf7182093a3a8a2d448ed770fe80
|
2008-05-05 21:27:10 +00:00 |
|
Sam Tobin-Hochstadt
|
9e1c812b06
|
Improve the type of andmap.
Steps toward reducing the number of initializations.
svn: r9612
original commit: fd44d9b01ff4d50042e757d9e2f76dae046237bd
|
2008-05-02 23:35:37 +00:00 |
|
Sam Tobin-Hochstadt
|
4664fc9a4f
|
Use library nest.
svn: r9598
original commit: 97715dc9fbebf203d5baf90a7fcedcb4c5ae9cf1
|
2008-05-02 18:03:05 +00:00 |
|
Sam Tobin-Hochstadt
|
ba48e257f0
|
Fix new inference algorithm to handle all test cases.
svn: r9538
original commit: 8307bf835b23160b58b52c50815997f5fd8e11e8
|
2008-04-29 21:42:37 +00:00 |
|
Sam Tobin-Hochstadt
|
2e2f299a10
|
Don't print "checked foo".
Improve names in recursive contracts.
svn: r9298
original commit: 1039055628225ebed52d0b45a2fa22d782905108
|
2008-04-14 18:13:59 +00:00 |
|
Sam Tobin-Hochstadt
|
51b7de58e8
|
Split type defns into base-types.ss
Reformat.
svn: r9273
original commit: f23af68d6b0bbc9a82f8fea2178e5e7dfaf2d459
|
2008-04-12 00:10:32 +00:00 |
|
Eli Barzilay
|
53b8945aa2
|
misc things
svn: r8866
original commit: 5ff5d6c58005f8276e4517079ded454205359aba
|
2008-03-04 02:46:54 +00:00 |
|
Sam Tobin-Hochstadt
|
7f2824d11c
|
Add Typed Scheme as a collection.
svn: r8864
original commit: 0d54ed5e7427f5e75e6274cc3c9625e676fc34bc
|
2008-03-03 22:57:55 +00:00 |
|