From ee39be4361b8443fb94bb47ec0f25c0011d1c33f Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 9 Aug 2025 10:22:28 +0200 Subject: [PATCH] ADDED: resource_error/1 --- src/lib/error.pl | 4 ++++ 1 file changed, 4 insertions(+) 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, -- 2.54.0