From: Markus Triska <triska@metalevel.at>
Date: Sat, 14 Jun 2025 20:43:35 +0000 (+0200)
Subject: use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N
X-Git-Tag: v0.10.0~44^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=17377064cf3379255afbdf0b355108adbb45cc5d;p=scryer-prolog.git

use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N

Noted by @UWN in https://github.com/mthom/scryer-prolog/discussions/2872.

Many thanks!
---

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index 2dc858a4..835e80a5 100644
--- a/src/lib/dcgs.pl
+++ b/src/lib/dcgs.pl
@@ -12,8 +12,8 @@ to learn more about them.
           [op(1105, xfy, '|'),
            phrase/2,
            phrase/3,
-           phrase/4,
-           phrase/5,
+           phrase//2,
+           phrase//3,
            seq//1,
            seqq//1,
            ... //0,
@@ -29,9 +29,9 @@ to learn more about them.
 
 :- meta_predicate phrase(2, ?, ?).
 
-:- meta_predicate phrase(2, ?, ?, ?).
+:- meta_predicate(phrase(3, ?, ?, ?)).
 
-:- meta_predicate phrase(2, ?, ?, ?, ?).
+:- meta_predicate(phrase(4, ?, ?, ?, ?)).
 
 :- meta_predicate(','(2, 2, ?, ?)).