From 98a046500f487fb9a1acc35df012f11ee364f1fa Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 20 Jan 2024 10:24:57 +0100 Subject: [PATCH] MODIFIED: (->)/2 in DCGs is now only supported in the context of if-then-else. That is, ( If -> Then ; Else ) is still supported, but ( If -> Then ) not. --- src/lib/dcgs.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl index 9f7dfacf..0876bd5a 100644 --- a/src/lib/dcgs.pl +++ b/src/lib/dcgs.pl @@ -177,7 +177,7 @@ 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.) -dcg_constr((_->_)). % 7.14.12 - if-then (existence implementation dep.) +%% dcg_constr((_->_)). % 7.14.12 - if-then (existence implementation dep.) % The principal functor of the first argument indicates % the construct to be expanded. -- 2.54.0