]> Repositorios git - scryer-prolog.git/commitdiff
add appropriate meta_predicate/1 declarations
authorMarkus Triska <[email protected]>
Thu, 18 Feb 2021 19:12:15 +0000 (20:12 +0100)
committerMarkus Triska <[email protected]>
Thu, 18 Feb 2021 19:15:04 +0000 (20:15 +0100)
src/lib/freeze.pl
src/lib/pio.pl

index 8ab1de9b048ac5fc67b9d5b19d542696c0cdfee1..c005672f1d4247d4dce78c211a9816aa20088ed1 100644 (file)
@@ -3,6 +3,8 @@
 :- use_module(library(atts)).
 :- use_module(library(dcgs)).
 
+:- meta_predicate freeze(?, 0).
+
 :- attribute frozen/1.
 
 verify_attributes(Var, Other, Goals) :-
index 89dfc5668a82c2e8fe9a0571d8e4c91dbc13fc00..1df9a796e50a6998ebcc06feacb26e465f2f1465 100644 (file)
@@ -7,6 +7,9 @@
 :- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/3]).
 :- use_module(library(lists), [member/2]).
 
+:- meta_predicate phrase_from_file(2, ?).
+:- meta_predicate phrase_from_file(2, ?, ?).
+
 phrase_from_file(NT, File) :-
     phrase_from_file(NT, File, []).