From 5bec2c87cbac049f8584e3a88fcfda986fbca212 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 18 Feb 2021 20:12:15 +0100 Subject: [PATCH] add appropriate meta_predicate/1 declarations --- src/lib/freeze.pl | 2 ++ src/lib/pio.pl | 3 +++ 2 files changed, 5 insertions(+) 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, []). -- 2.54.0