ADDED: resource_error/1
This commit is contained in:
@@ -9,6 +9,7 @@
|
|||||||
domain_error/2,
|
domain_error/2,
|
||||||
type_error/2,
|
type_error/2,
|
||||||
representation_error/1,
|
representation_error/1,
|
||||||
|
resource_error/1,
|
||||||
instantiation_error/1,
|
instantiation_error/1,
|
||||||
domain_error/3,
|
domain_error/3,
|
||||||
type_error/3,
|
type_error/3,
|
||||||
@@ -236,6 +237,9 @@ type_error(Type, Term) :-
|
|||||||
representation_error(Flag) :-
|
representation_error(Flag) :-
|
||||||
throw(error(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
|
The variants *with* context would not have been needed if
|
||||||
call_with_error_context/2 had been found earlier. In the future,
|
call_with_error_context/2 had been found earlier. In the future,
|
||||||
|
|||||||
Reference in New Issue
Block a user