sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Assert definitions as they are read. 

Instead of building a list then asserting them all after parsing.
This commit is contained in:
Simon Forman 2019-07-21 14:13:48 -07:00
parent 482ac3023e
commit c1442945a6
1 changed files with 4 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
thun/thun.pl
View File

@ -186,16 +186,12 @@ Definitions
joy_def(def(Def, Body)) --> symbol(Def), blanks, "==", joy_parse(Body).
joy_defs([Def|Defs]) --> blanks, joy_def(Def), blanks, joy_defs(Defs).
joy_defs([]) --> [].
read_defs(DefsFile, Defs) :-
read_file_to_codes(DefsFile, Codes, []),
phrase(joy_defs(Defs), Codes).
joy_defs --> blanks, joy_def(Def), {assert_def(Def)}, blanks, joy_defs.
joy_defs --> [].
assert_defs(DefsFile) :-
read_defs(DefsFile, Defs),
forall(member(Def, Defs), assert_def(Def)).
read_file_to_codes(DefsFile, Codes, []),
phrase(joy_defs, Codes).
assert_def(def(Def, Body)) :-
retractall(def(Def, _)),