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

improve error context

Browse Source 
Source: https://github.com/mthom/scryer-prolog/issues/2304#issuecomment-1906434756
This commit is contained in:
Markus Triska
2024-01-23 21:43:34 +01:00
parent 665f319a0e
commit a6ccf95076
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/dcgs.pl
View File

@@ -174,10 +174,10 @@ dcg_constr(phrase(_)). % 7.14.9
dcg_constr(phrase(_,_)). % extension of 7.14.9 dcg_constr(phrase(_,_)). % extension of 7.14.9
dcg_constr(phrase(_,_,_)). % extension of 7.14.9 dcg_constr(phrase(_,_,_)). % extension of 7.14.9
dcg_constr(!). % 7.14.10 dcg_constr(!). % 7.14.10
dcg_constr(\+ _) :- % 7.14.11 - not (existence implementation dep.) dcg_constr(\+ G_0) :- % 7.14.11 - not (existence implementation def.)
throw(error(representation_error(dcg_body), phrase/3)). throw(error(representation_error(dcg_body), [culprit- (\+ G_0)])).
dcg_constr((_->_)) :- % 7.14.12 - if-then (existence implementation dep.) dcg_constr((If->Then)) :- % 7.14.12 - if-then (existence implementation def.)
throw(error(representation_error(dcg_body), phrase/3)). throw(error(representation_error(dcg_body), [culprit- (If->Then)])).
% The principal functor of the first argument indicates % The principal functor of the first argument indicates
% the construct to be expanded. % the construct to be expanded.