From a6ccf95076fbf0441ccbe894c399310e2f9139ad Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 23 Jan 2024 21:43:34 +0100 Subject: [PATCH] improve error context Source: https://github.com/mthom/scryer-prolog/issues/2304#issuecomment-1906434756 --- src/lib/dcgs.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl index 0fa9109c..4ee763f0 100644 --- a/src/lib/dcgs.pl +++ b/src/lib/dcgs.pl @@ -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(!). % 7.14.10 -dcg_constr(\+ _) :- % 7.14.11 - not (existence implementation dep.) - throw(error(representation_error(dcg_body), phrase/3)). -dcg_constr((_->_)) :- % 7.14.12 - if-then (existence implementation dep.) - throw(error(representation_error(dcg_body), phrase/3)). +dcg_constr(\+ G_0) :- % 7.14.11 - not (existence implementation def.) + throw(error(representation_error(dcg_body), [culprit- (\+ G_0)])). +dcg_constr((If->Then)) :- % 7.14.12 - if-then (existence implementation def.) + throw(error(representation_error(dcg_body), [culprit- (If->Then)])). % The principal functor of the first argument indicates % the construct to be expanded. -- 2.54.0