Slava Pestov
|
e3416ec170
|
Faster bit-arrays
|
2008-01-12 21:37:44 -05:00 |
|
Slava Pestov
|
1a43d30d54
|
Fix tuple class redefinition not updating constructor
|
2008-01-12 18:00:28 -05:00 |
|
Slava Pestov
|
c8d4846a03
|
Fix some compiled-usage issues
|
2008-01-12 04:25:16 -05:00 |
Doug Coleman
|
84891e2591
|
pick pick -> 2over
minor cleanups
|
2008-01-11 12:02:44 -10:00 |
|
Slava Pestov
|
542b85889d
|
Fix unit tests
|
2008-01-09 19:13:26 -05:00 |
|
Slava Pestov
|
c8360f5ae5
|
Rename curry* to with
|
2008-01-09 17:36:30 -05:00 |
|
Slava Pestov
|
c86e95bc30
|
Add some more compiled-usage tests
|
2008-01-02 23:08:28 -04:00 |
|
Slava Pestov
|
b7327b6228
|
Redo the profiler
|
2008-01-02 20:36:36 -04:00 |
|
Slava Pestov
|
e35ca18921
|
Working on compiled-usage
|
2008-01-01 15:54:14 -04:00 |
|
Slava Pestov
|
64b06f059a
|
Unit test fixes
|
2007-12-30 17:14:15 -05:00 |
|
Slava Pestov
|
58da31c071
|
New implementation of compiler error reporting
|
2007-12-28 22:51:36 -05:00 |
|
Slava Pestov
|
52ae410cc5
|
Removing USE-IF:, add with-interactive-vocabs, other fixes
|
2007-12-28 21:45:16 -05:00 |
|
Slava Pestov
|
9c1454ef68
|
Rename real/imaginary slots of complex to real-part/imaginary-part to avoid clashing with the real class word; fix bug where redefining a generic as a class leaves the word in a weird state
|
2007-12-27 17:26:39 -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
|
2a24567546
|
Work in progress
|
2007-12-26 20:21:46 -05:00 |
|
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 |