Slava Pestov
|
1b9e04fdc5
|
Deferred words are now compound words
|
2007-12-26 17:28:34 -05:00 |
|
Slava Pestov
|
423c22e4ef
|
Symbols are compound defs now; SYMBOL: foo == : foo \ foo ;
|
2007-12-25 22:55:17 -05:00 |
|
Slava Pestov
|
6814e07f49
|
Unit test fixes
|
2007-12-24 19:40:09 -05:00 |
|
Slava Pestov
|
07a4022d62
|
Parser, definitions, source-files refactoring work in progress
|
2007-12-21 21:18:24 -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 |
|
Slava Pestov
|
a81a3387bf
|
os-envs primitive to get current environment
|
2007-11-12 23:18:29 -05:00 |
U-SLAVA-FB3999113\Slava
|
8b54248c50
|
Get core unit tests to pass without number tower
|
2007-10-14 21:13:42 -04:00 |
|
U-SLAVA-FB3999113\Slava
|
e9b42fa635
|
Move more math stuff to extra/, get compiler to work without ratios/complex numbers
|
2007-10-14 20:38:23 -04:00 |
|
Slava Pestov
|
c84ba1d76b
|
Fix define-transform bug
|
2007-10-10 01:53:55 -04:00 |
|
Slava Pestov
|
fab1453bfc
|
Re-implemented single stepper for new evaluation model
|
2007-10-03 16:56:49 -04:00 |
|
Slava Pestov
|
894a657056
|
Alien unboxing
|
2007-09-29 19:43:03 -04:00 |
|
Slava Pestov
|
83f552fae8
|
More inference bug fixes
|
2007-09-27 16:11:03 -04:00 |
|
Slava Pestov
|
cdad6df422
|
Fixing inference after cleanup
|
2007-09-27 04:50:24 -04:00 |
|
Slava Pestov
|
5e2c7e769d
|
Clean up inference and fix hygiene issue with macros
|
2007-09-27 04:00:54 -04:00 |
|
Slava Pestov
|
a96457cecc
|
Initial import
|
2007-09-20 18:09:08 -04:00 |