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,