Slava Pestov
|
825601ccc7
|
More circularity fixes
|
2008-01-05 20:37:13 -04:00 |
|
Slava Pestov
|
c3deb44f43
|
Fix circularity
|
2008-01-05 18:27:15 -04:00 |
|
Slava Pestov
|
ced9893a4e
|
Get bootstrap.tools to load, update extra/ for USE-IF: removal
|
2007-12-28 21:46:06 -05:00 |
|
Slava Pestov
|
f53fa196ac
|
New must-infer word; \ foo must-infer asserts that foo's declared effect matches its inferred effect, put this in your unit tests
|
2007-12-26 20:54:38 -05:00 |
|
Slava Pestov
|
51992905b2
|
Inference tests tweak
|
2007-12-17 16:29:26 -05:00 |
|
Slava Pestov
|
e7cc5ea6d4
|
Windows IO fixes and <process-stream> work
|
2007-11-21 01:18:46 -05:00 |
|
Slava Pestov
|
014a3d4867
|
Launcher doc fix
|
2007-11-17 00:45:58 -05:00 |
|
Slava Pestov
|
563a60cb8d
|
Documentation updates
|
2007-11-16 21:07:18 -05:00 |
Eduardo Cavazos
|
44a5e155ab
|
Update vocabs for new with-fork
|
2007-11-15 17:06:40 -06:00 |
|
Slava Pestov
|
5262801398
|
io.launcher updates and destructors cleanup
|
2007-11-13 01:10:26 -05:00 |
|
Slava Pestov
|
e1ace82429
|
Improved io.launcher
|
2007-11-12 23:18:42 -05:00 |
|
Slava Pestov
|
a96457cecc
|
Initial import
|
2007-09-20 18:09:08 -04:00 |