Slava Pestov
|
5ecf3f7225
|
Improve unit test documentation and update some tests
|
2008-02-06 22:58:41 -06:00 |
|
Slava Pestov
|
8428f66933
|
Fixing unit tests
|
2008-02-06 15:00:10 -06:00 |
Slava Pestov
|
be2c8b13d7
|
Rename unit-test-fails to must-fail and add must-fail-with to replace [ t ] [ [ ... ] catch ... ] unit-test idiom
|
2008-02-06 13:47:19 -06:00 |
|
Slava Pestov
|
926e09a46a
|
New dispose word and with-dispose combinator, docs for io.monitor, working on O(1) stream timeouts
|
2008-01-31 00:52:06 -06:00 |
|
Slava Pestov
|
b7327b6228
|
Redo the profiler
|
2008-01-02 20:36:36 -04: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
|
1bd8176b4a
|
New tools.test.inference vocabulary with unit-test-effect word
|
2007-11-15 17:29:00 -05:00 |
U-SLAVA-FB3999113\Slava
|
8b54248c50
|
Get core unit tests to pass without number tower
|
2007-10-14 21:13:42 -04:00 |
|
Slava Pestov
|
c84ba1d76b
|
Fix define-transform bug
|
2007-10-10 01:53:55 -04:00 |
|
Slava Pestov
|
a96457cecc
|
Initial import
|
2007-09-20 18:09:08 -04:00 |