DCG meta-predicate error
"Abdallah, Samer" <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Hi,
There appears to be a bug in the handling of meta-predicates that
expect a DCG goal as an argument:
:- meta_predicate foo(//,?,?).
foo(G) --> phrase(G).
test --> foo({writeln(hello)}).
Using SWI v. 7.1.7 results in
Warning: The predicates below are not defined. If these are defined
Warning: at runtime using assert/1, use :- dynamic Name/Arity.
Warning:
Warning: {}/3, which is referenced by
Warning: /Users/samer/src/sandpit/prolog/test.pl:4: 1-st clause of test/2
Samer.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.iai.uni-bonn.de/pipermail/swi-prolog/attachments/20140318/daa0a14d/attachment.bin>