record-file only called after a successful parse
parent
42e58c93fe
commit
b77d8b28a4
3
TODO.txt
3
TODO.txt
|
@ -1,7 +1,5 @@
|
|||
+ 0.87:
|
||||
|
||||
- macbook mouse tracking is off
|
||||
- xml: chars>entities got broken
|
||||
- parse errors should be shown in a popup
|
||||
- growable data heap
|
||||
|
||||
|
@ -16,6 +14,7 @@
|
|||
|
||||
+ 0.88:
|
||||
|
||||
- use crc32 instead of modification date in reload-modules
|
||||
- models: don't do redundant work
|
||||
- menu Command: quots look dumb
|
||||
- top level window positioning on ms windows
|
||||
|
|
|
@ -66,8 +66,10 @@ SYMBOL: parse-hook
|
|||
|
||||
: parse-file ( file -- quot )
|
||||
[
|
||||
dup parsing-file dup record-file
|
||||
[ ?resource-path <file-reader> ] keep parse-stream
|
||||
[ parsing-file ] keep
|
||||
[ ?resource-path <file-reader> ] keep
|
||||
[ parse-stream ] keep
|
||||
record-file
|
||||
] [
|
||||
over parse-file-restarts condition drop parse-file
|
||||
] recover ;
|
||||
|
|
Loading…
Reference in New Issue