From: Markus Triska Date: Sat, 9 Aug 2025 08:22:28 +0000 (+0200) Subject: ADDED: resource_error/1 X-Git-Tag: v0.10.0~30^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ee39be4361b8443fb94bb47ec0f25c0011d1c33f;p=scryer-prolog.git ADDED: resource_error/1 --- diff --git a/src/lib/error.pl b/src/lib/error.pl index e7568c75..93426a09 100644 --- a/src/lib/error.pl +++ b/src/lib/error.pl @@ -9,6 +9,7 @@ domain_error/2, type_error/2, representation_error/1, + resource_error/1, instantiation_error/1, domain_error/3, type_error/3, @@ -236,6 +237,9 @@ type_error(Type, Term) :- representation_error(Flag) :- throw(error(representation_error(Flag), [])). +resource_error(Resource) :- + throw(error(resource_error(Resource), [])). + /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - The variants *with* context would not have been needed if call_with_error_context/2 had been found earlier. In the future,