From dfb60ec2ed3675ab0d54ad2ebcea4c51abce81e5 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Thu, 25 Feb 2021 22:02:51 +0100
Subject: [PATCH] use individual meta_predicate/1 declarations

---
 src/lib/lambda.pl | 49 +++++++++++++++++++++++------------------------
 1 file changed, 24 insertions(+), 25 deletions(-)

diff --git a/src/lib/lambda.pl b/src/lib/lambda.pl
index d59a5125..03d9db89 100644
--- a/src/lib/lambda.pl
+++ b/src/lib/lambda.pl
@@ -114,31 +114,30 @@ http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/ISO-Hiord
 @author Ulrich Neumerkel
 */
 
-:- meta_predicate
-	^(?,0,?),
-	^(?,1,?,?),
-	^(?,2,?,?,?),
-	^(?,3,?,?,?,?),
-	^(?,4,?,?,?,?,?),
-	^(?,5,?,?,?,?,?,?),
-	^(?,6,?,?,?,?,?,?,?),
-	^(?,7,?,?,?,?,?,?,?,?),
-	\(0),
-	\(1,?),
-	\(2,?,?),
-	\(3,?,?,?),
-	\(4,?,?,?,?),
-	\(5,?,?,?,?,?),
-	\(6,?,?,?,?,?,?),
-	\(7,?,?,?,?,?,?,?),
-	+\(?,0),
-	+\(?,1,?),
-	+\(?,2,?,?),
-	+\(?,3,?,?,?),
-	+\(?,4,?,?,?,?),
-	+\(?,5,?,?,?,?,?),
-	+\(?,6,?,?,?,?,?,?),
-	+\(?,7,?,?,?,?,?,?,?).
+:- meta_predicate ^(?,0,?).
+:- meta_predicate ^(?,1,?,?).
+:- meta_predicate ^(?,2,?,?,?).
+:- meta_predicate ^(?,3,?,?,?,?).
+:- meta_predicate ^(?,4,?,?,?,?,?).
+:- meta_predicate ^(?,5,?,?,?,?,?,?).
+:- meta_predicate ^(?,6,?,?,?,?,?,?,?).
+:- meta_predicate ^(?,7,?,?,?,?,?,?,?,?).
+:- meta_predicate \(0).
+:- meta_predicate \(1,?).
+:- meta_predicate \(2,?,?).
+:- meta_predicate \(3,?,?,?).
+:- meta_predicate \(4,?,?,?,?).
+:- meta_predicate \(5,?,?,?,?,?).
+:- meta_predicate \(6,?,?,?,?,?,?).
+:- meta_predicate \(7,?,?,?,?,?,?,?).
+:- meta_predicate +\(?,0).
+:- meta_predicate +\(?,1,?).
+:- meta_predicate +\(?,2,?,?).
+:- meta_predicate +\(?,3,?,?,?).
+:- meta_predicate +\(?,4,?,?,?,?).
+:- meta_predicate +\(?,5,?,?,?,?,?).
+:- meta_predicate +\(?,6,?,?,?,?,?,?).
+:- meta_predicate +\(?,7,?,?,?,?,?,?,?).
 
 :- meta_predicate no_hat_call(0).
 
-- 
2.54.0