From bc4689ca4a0de960a916cf363f84031bd502256b Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 9 Aug 2025 10:19:49 +0200 Subject: [PATCH] ADDED: representation_error/1 --- src/lib/error.pl | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/src/lib/error.pl b/src/lib/error.pl index e7f0f87c..e7568c75 100644 --- a/src/lib/error.pl +++ b/src/lib/error.pl @@ -6,10 +6,11 @@ :- module(error, [must_be/2, can_be/2, instantiation_error/0, - instantiation_error/1, domain_error/2, - domain_error/3, type_error/2, + representation_error/1, + instantiation_error/1, + domain_error/3, type_error/3, call_with_error_context/2 ]). @@ -221,10 +222,6 @@ list_or_partial_list(Ls) :- The variants without context promote the use of call_with_error_context/2. - - The variants *with* context would not have been needed if - call_with_error_context/2 had been found earlier. In the future, - we may be able to remove them. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ instantiation_error :- @@ -236,6 +233,14 @@ domain_error(Type, Term) :- type_error(Type, Term) :- throw(error(type_error(Type, Term), [])). +representation_error(Flag) :- + throw(error(representation_error(Flag), [])). + +/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + The variants *with* context would not have been needed if + call_with_error_context/2 had been found earlier. In the future, + we may be able to remove them. +- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ instantiation_error(Context) :- throw(error(instantiation_error, Context)). -- 2.54.0