From: Markus Triska <triska@metalevel.at>
Date: Sat, 20 Nov 2021 21:43:07 +0000 (+0100)
Subject: FIXED: meta_predicate/1 declaration of (',')/3 and (;)/3.
X-Git-Tag: v0.9.0~27^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6610ba67c449f8b712cc63e4a4f12601b5cbe239;p=scryer-prolog.git

FIXED: meta_predicate/1 declaration of (',')/3 and (;)/3.
---

diff --git a/src/lib/reif.pl b/src/lib/reif.pl
index a032af32..f3bc72b3 100644
--- a/src/lib/reif.pl
+++ b/src/lib/reif.pl
@@ -4,7 +4,7 @@
 
 :- use_module(library(dif)).
 
-:- meta_predicate if_(1, 0, 0).
+:- meta_predicate(if_(1, 0, 0)).
 
 if_(If_1, Then_0, Else_0) :-
     call(If_1, T),
@@ -50,12 +50,12 @@ i_tpartition([X|Xs], P_2, Ts0, Fs0) :-
       , ( Fs0 = [X|Fs], Ts0 = Ts ) ),
    i_tpartition(Xs, P_2, Ts, Fs).
 
-:- meta_predicate ','(0, 0, ?).
+:- meta_predicate(','(1, 1, ?)).
 
 ','(A_1, B_1, T) :-
     if_(A_1, call(B_1, T), T = false).
 
-:- meta_predicate ';'(0, 0, ?).
+:- meta_predicate(';'(1, 1, ?)).
 
 ';'(A_1, B_1, T) :-
     if_(A_1, T = true, call(B_1, T)).