Slava Pestov
|
83e0c60573
|
tools.test: flush the output stream
|
2009-08-08 23:03:53 -05:00 |
Slava Pestov
|
3b2fd98e7c
|
Refactor source-file-errors a little bit to remove some code duplication, and so that clicking 'Edit' in error list tool works for parse errors in unit tests
|
2009-08-04 21:01:21 -05:00 |
Slava Pestov
|
0c1e519dcb
|
Rename use+ to add-use, move search to vocabs.parser, EXCLUDE: bombs out if word doesn't exist
|
2009-05-13 22:15:48 -05:00 |
Slava Pestov
|
b2c3183b21
|
Split up tools.vocabs. Note that load-everything is now named load-all
|
2009-05-04 06:44:17 -05:00 |
Slava Pestov
|
05f3f9dcb9
|
Fixing unit tests for stack effect inference changes
|
2009-04-20 21:15:19 -05:00 |
Slava Pestov
|
57d718113e
|
tools.test: more robust must-fail
|
2009-04-19 18:21:25 -05:00 |
Slava Pestov
|
50ed1f5a9f
|
Better error printing
|
2009-04-17 15:50:11 -05:00 |
Slava Pestov
|
a2cff89591
|
Call notify-error-observers
|
2009-04-13 14:40:03 -05:00 |
Slava Pestov
|
c4be8bd65a
|
Refactor error code so that error types are registered; listener prints a summary of errors
|
2009-04-12 16:08:46 -05:00 |
Slava Pestov
|
0420b39f4f
|
Make source file error types a bit more extensible
|
2009-04-11 22:26:24 -05:00 |
Slava Pestov
|
e5df0559eb
|
Working on adding help-lint errors to error list
|
2009-04-11 20:30:09 -05:00 |
Slava Pestov
|
a0ad6bda39
|
tools.test: store file in a variable while tests are running
|
2009-04-10 08:11:46 -05:00 |
Slava Pestov
|
0a7485190b
|
compile-error-type => source-error-type; make test failures global
|
2009-04-10 03:52:12 -05:00 |
Slava Pestov
|
e467f4eea3
|
More work on unit test tool
|
2009-04-09 08:17:41 -05:00 |
Slava Pestov
|
e5c28dfa95
|
tools.test: use source-files.errors
|
2009-04-09 04:50:47 -05:00 |
Slava Pestov
|
786475102d
|
Make more code infer
|
2009-03-17 02:19:50 -05:00 |
Slava Pestov
|
8db24bdd34
|
assert-depth now has a static stack effect. This fixes a UI unit test failure
|
2008-12-05 08:25:26 -06:00 |
Slava Pestov
|
e5ed7447ed
|
Removing more >r/r> usages
|
2008-12-03 08:46:16 -06:00 |
Slava Pestov
|
7c61cf190f
|
Circularity between vocabularies no longer causes an infinite loop; loading a vocabulary like json or furnace no longer loads certain files twice
|
2008-11-23 00:04:18 -06:00 |
Slava Pestov
|
8d5135682f
|
Print a message when tests fail
|
2008-10-20 21:07:46 -05:00 |
Slava Pestov
|
c19f2257f4
|
Fix permission bits
|
2008-10-02 08:34:49 -05:00 |
Doug Coleman
|
8a921c791c
|
if-empty changes
|
2008-09-06 19:13:59 -05:00 |
Slava Pestov
|
48fa2e2d0e
|
Updating some code
|
2008-08-12 03:31:48 -05:00 |
Slava Pestov
|
a9cf3facbb
|
More load fixes
|
2008-07-29 03:17:21 -05:00 |
Slava Pestov
|
d66f887736
|
Create basis vocab root
|
2008-07-28 22:03:13 -05:00 |