Skip to content

Commit 1737706

Browse files
committed
use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N
Noted by @UWN in #2872. Many thanks!
1 parent 9456517 commit 1737706

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/lib/dcgs.pl

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,8 @@
1212
[op(1105, xfy, '|'),
1313
phrase/2,
1414
phrase/3,
15-
phrase/4,
16-
phrase/5,
15+
phrase//2,
16+
phrase//3,
1717
seq//1,
1818
seqq//1,
1919
... //0,
@@ -29,9 +29,9 @@
2929

3030
:- meta_predicate phrase(2, ?, ?).
3131

32-
:- meta_predicate phrase(2, ?, ?, ?).
32+
:- meta_predicate(phrase(3, ?, ?, ?)).
3333

34-
:- meta_predicate phrase(2, ?, ?, ?, ?).
34+
:- meta_predicate(phrase(4, ?, ?, ?, ?)).
3535

3636
:- meta_predicate(','(2, 2, ?, ?)).
3737

0 commit comments

Comments
 (0)