rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

lazily throw exceptions of dcg_body from goal-expanded phrase/{2,3} (#1244)

Browse Source
This commit is contained in:
Mark Thom
2022-01-22 12:22:50 -07:00
parent 5ff579f793
commit e6c4ecfc10
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/dcgs.pl
View File

@@ -156,6 +156,9 @@ seqq([Es|Ess]) --> seq(Es), seqq(Ess).
user:goal_expansion(phrase(GRBody, S, S0), GRBody1) :- user:goal_expansion(phrase(GRBody, S, S0), GRBody1) :-
load_context(GRBody, M, GRBody0), load_context(GRBody, M, GRBody0),
nonvar(GRBody0), nonvar(GRBody0),
dcg_body(GRBody0, S, S0, GRBody1, M). catch(dcgs:dcg_body(GRBody0, S, S0, GRBody1, M),
error(E, must_be/2),
( GRBody1 = throw(error(E, must_be/2)) )
).
user:goal_expansion(phrase(GRBody, S), phrase(GRBody, S, [])). user:goal_expansion(phrase(GRBody, S), phrase(GRBody, S, [])).