aa6158b366
Changing require-when usages to the new syntax for require-when
2010-04-18 14:29:24 -05:00
99771eb689
bootstrap.compiler: fix joint dependencies declared here
2010-03-29 13:14:26 -04:00
8159a19187
combine unbalanced-branches-error and invalid-quotation-input into one error
2010-03-07 22:23:24 -08:00
1512ed12f3
further improve error message for invalid quotation inputs using a table display with the actual quotation effects determined so far
2010-03-07 18:40:58 -08:00
ea4545e366
improve error message for invalid quotation inputs by referencing each declared-effect to its other references
2010-03-07 18:27:55 -08:00
b14d59030f
add stack variable unification to M\ declared-effect infer-call*
2010-03-07 17:51:41 -08:00
053ba583fc
improve error reporting
2010-03-04 21:51:49 -08:00
23de281186
initial implementation of row-polymorphism check
2010-03-04 19:30:08 -08:00
580cbe75c6
Make stack-checker throw proper errors for primitives that do not have static stack effects
2010-01-20 16:37:58 +13:00
473cc7db4a
stack-checker: tighten some screws in error reporting
2009-11-09 00:17:24 -06:00
a79e3eb687
Passing an invalid parameter to 'declare' doesn't break the compiler anymore
2009-04-30 20:40:47 -05:00
5649cc7a0a
Compiler warnings are no more
2009-04-23 22:17:25 -05:00
f38d2f91f6
Words which didn't compile cannot be run at all
2009-04-20 22:05:41 -05:00
8414693142
stack-checker: trust word declarations instead of recursively checking them
2009-04-20 18:44:45 -05:00
c4be8bd65a
Refactor error code so that error types are registered; listener prints a summary of errors
2009-04-12 16:08:46 -05:00
8290624733
Macro expansion errors are now wrapped
2009-04-10 07:08:16 -05:00
0a7485190b
compile-error-type => source-error-type; make test failures global
2009-04-10 03:52:12 -05:00
bb92336fb8
Change a throw to a rethrow
2009-03-18 19:44:38 -05:00
11117648ea
Fix stack checker regressions
2009-02-26 23:30:48 -06:00
efede19571
Make some errors better in the stack checker
2009-02-26 01:25:13 -06:00
4f0a9f311e
Untangling some dependencies
2008-12-08 14:58:00 -06:00
e5ed7447ed
Removing more >r/r> usages
2008-12-03 08:46:16 -06:00
672f9e400e
Better error message
2008-11-17 11:16:32 -06:00
9e82f1f8dd
Better inference error messages
2008-11-16 19:42:53 -06:00
5bae69426d
Stack checker cleanup and optimization
...
- stack-checker.state vocabulary split up into stack-checker.{state,values,recursive-state}
- code that modifies and searches recursive state factored out into stack-checker.recursive-state
- recursive state is now a set of three binary hash trees instead of an alist, and no longer contains unnecessary data
- binary hash trees are in stack-checker.recursive-state.tree: unbalanced, persistent
- ~8 second speedup on bootstrap, ~20 second speedup in "peg.javascript" require
2008-11-13 00:07:45 -06:00
4a1bcacfd4
Refactoring recursive-state alist; now its a mapping from words to local state triples, reduces searching by a bit
2008-11-12 19:08:40 -06:00
22f9478c5e
Better error printing
2008-09-22 02:27:07 -05:00
d14d398895
Tweak stack checker so that we no longer need to do forget-errors during normal usage
2008-09-07 02:37:13 -05:00
8a921c791c
if-empty changes
2008-09-06 19:13:59 -05:00
f2a5a30c6f
New front-end and high-level optimizer lands
2008-08-12 03:22:45 -05:00
Daniel Ehrenberg
Slava Pestov
Joe Groff
Slava Pestov
Doug Coleman