From: Markus Triska Date: Thu, 18 Feb 2021 18:16:11 +0000 (+0100) Subject: add appropriate meta_predicate/1 declarations X-Git-Tag: v0.9.0~150^2~42^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=71a524662dbd822db2347dd03ad9522113f11d85;p=scryer-prolog.git add appropriate meta_predicate/1 declarations --- diff --git a/src/lib/debug.pl b/src/lib/debug.pl index bc9f9df8..ab84f15b 100644 --- a/src/lib/debug.pl +++ b/src/lib/debug.pl @@ -11,6 +11,10 @@ :- use_module(library(format), [portray_clause/1]). +:- meta_predicate *(0). +:- meta_predicate $(0). +:- meta_predicate $-(0). + $-(G_0) :- catch(G_0, Ex, ( portray_clause(exception:Ex:G_0), throw(Ex) ) ).