Joe Groff
|
56000b63b9
|
stack-checker.errors.prettyprint: refer to unbalanced-branches quotation in singular when there's only one
|
2010-06-18 15:36:03 -07:00 |
Slava Pestov
|
eb218656ec
|
stack-checker.errors.prettyprint: give it some smart quotes lovin'
|
2010-03-17 19:20:28 +13:00 |
|
Joe Groff
|
1b3a92441a
|
combine unbalanced-branches-error and invalid-quotation-input into one error
|
2010-03-07 22:23:24 -08:00 |
|
Joe Groff
|
ac90071cd7
|
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 |
|
Joe Groff
|
f5b0f55ec3
|
improve error message for invalid quotation inputs by referencing each declared-effect to its other references
|
2010-03-07 18:27:55 -08:00 |
|
Joe Groff
|
4a9b65b422
|
add stack variable unification to M\ declared-effect infer-call*
|
2010-03-07 17:51:41 -08:00 |
|
Joe Groff
|
3ba4805e29
|
move error summaries for effect parsing errors to debugger vocab
|
2010-03-05 21:50:40 -08:00 |
|
Joe Groff
|
fb86397021
|
make tests pass
|
2010-03-04 22:43:01 -08:00 |
|
Joe Groff
|
7f33e007f9
|
improve error reporting
|
2010-03-04 21:51:49 -08:00 |
|
Slava Pestov
|
184d286d29
|
Make stack-checker throw proper errors for primitives that do not have static stack effects
|
2010-01-20 16:37:58 +13:00 |
|
Slava Pestov
|
792e6dbd5d
|
stack-checker.errors.prettyprint: fix prettyprinting of unbalanced-branches-error
|
2010-01-15 07:51:36 +13:00 |
|
Slava Pestov
|
880fb747fc
|
Removing integers-as-sequences
|
2010-01-15 07:15:33 +13:00 |
|
Slava Pestov
|
058be8ca47
|
stack-checker: fix error message printed when do-primitive is inferred
|
2009-11-19 19:43:41 -06:00 |
|
Slava Pestov
|
e0d3878c00
|
stack-checker: tighten some screws in error reporting
|
2009-11-09 00:17:24 -06:00 |
|
Slava Pestov
|
5649cc7a0a
|
Compiler warnings are no more
|
2009-04-23 22:17:25 -05:00 |
|
Slava Pestov
|
f38d2f91f6
|
Words which didn't compile cannot be run at all
|
2009-04-20 22:05:41 -05:00 |
|
Slava Pestov
|
8290624733
|
Macro expansion errors are now wrapped
|
2009-04-10 07:08:16 -05:00 |
|
Slava Pestov
|
7adb76aaf4
|
Factor out some compiler error code into source-files.errors
|
2009-04-09 04:50:38 -05:00 |
|
Slava Pestov
|
2b384a7742
|
Re-organize some error-related code, three-pane look for compiler errors tool, add Joe's icons
|
2009-04-08 23:05:45 -05:00 |
|
Slava Pestov
|
07f585a81d
|
Error list tool work in progress
|
2009-04-06 15:24:21 -05:00 |
|
Slava Pestov
|
efede19571
|
Make some errors better in the stack checker
|
2009-02-26 01:25:13 -06:00 |
|
Slava Pestov
|
4f0a9f311e
|
Untangling some dependencies
|
2008-12-08 14:58:00 -06:00 |