From 498c4660d0b11b85b967bd778217e76c889329b3 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 28 Feb 2021 19:12:35 -0700
Subject: [PATCH] use plain ! while interpreting control functors in metacalls
 (#724)

---
 src/lib/builtins.pl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index ae727d4b..2b42f3c7 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -255,6 +255,7 @@ call_or_cut(G, B, ErrorPI) :-
 
 :- non_counted_backtracking control_functor/1.
 
+control_functor(call(_:!)).
 control_functor(!).
 control_functor((_,_)).
 control_functor((_;_)).
@@ -280,6 +281,8 @@ call_or_cut(G, B) :-
 
 :- non_counted_backtracking call_or_cut_interp/2.
 
+call_or_cut_interp(call(_:!), B) :-
+    !. % '$set_cp_by_default'(B).
 call_or_cut_interp(!, B) :-
     '$set_cp_by_default'(B).
 call_or_cut_interp((G1, G2), B) :-
-- 
2.54.0