Stevie Strickland
402de6f090
Yes, we need the hyphen.
...
svn: r10968
2008-07-29 17:10:01 +00:00
Stevie Strickland
be456fec94
Actually, revert that last change. What we'll do is:
...
* Fix up things so that we actually use 'temp-dir via find-system-path
instead of using /tmp always
* Turn off logging via the logging? for-syntax definition.
svn: r10967
2008-07-29 17:06:11 +00:00
Stevie Strickland
2d9a48a11d
This shouldn't have been left in.
...
svn: r10966
2008-07-29 16:58:21 +00:00
Sam Tobin-Hochstadt
2866efd348
logging
2008-07-14 08:48:14 -04:00
Sam Tobin-Hochstadt
055eb3cd0b
Source location in synthetic module begin.
2008-06-16 16:34:09 -04:00
Sam Tobin-Hochstadt
e2c0b4e642
Implement dmap operations.
...
Remove lots of unneeded requires.
Add in-list-forever and extend to utils.ss
Add optional variable argument to c-meet.
2008-06-12 17:10:31 -04:00
Sam Tobin-Hochstadt
606ef69d20
Switch subtype to use infer.ss for unification.
2008-06-10 15:05:13 -04:00
Sam Tobin-Hochstadt
1da9a0c4b8
Add namespace ops.
...
Check if typecheck returned nothing for top-level form.
Improve error message.
svn: r10160
2008-06-05 21:36:45 +00:00
Sam Tobin-Hochstadt
dbc3fa4367
Reduce quantity of requires.
...
svn: r9665
2008-05-05 21:27:10 +00:00
Sam Tobin-Hochstadt
fd44d9b01f
Improve the type of andmap.
...
Steps toward reducing the number of initializations.
svn: r9612
2008-05-02 23:35:37 +00:00
Sam Tobin-Hochstadt
97715dc9fb
Use library nest.
...
svn: r9598
2008-05-02 18:03:05 +00:00
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
1039055628
Don't print "checked foo".
...
Improve names in recursive contracts.
svn: r9298
2008-04-14 18:13:59 +00:00
Sam Tobin-Hochstadt
f23af68d6b
Split type defns into base-types.ss
...
Reformat.
svn: r9273
2008-04-12 00:10:32 +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
