From: Markus Triska <triska@metalevel.at>
Date: Thu, 18 Feb 2021 19:12:15 +0000 (+0100)
Subject: add appropriate meta_predicate/1 declarations
X-Git-Tag: v0.9.0~150^2~41^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5bec2c87cbac049f8584e3a88fcfda986fbca212;p=scryer-prolog.git

add appropriate meta_predicate/1 declarations
---

diff --git a/src/lib/freeze.pl b/src/lib/freeze.pl
index 8ab1de9b..c005672f 100644
--- a/src/lib/freeze.pl
+++ b/src/lib/freeze.pl
@@ -3,6 +3,8 @@
 :- use_module(library(atts)).
 :- use_module(library(dcgs)).
 
+:- meta_predicate freeze(?, 0).
+
 :- attribute frozen/1.
 
 verify_attributes(Var, Other, Goals) :-
diff --git a/src/lib/pio.pl b/src/lib/pio.pl
index 89dfc566..1df9a796 100644
--- a/src/lib/pio.pl
+++ b/src/lib/pio.pl
@@ -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, []).