From: Markus Triska <triska@metalevel.at>
Date: Sun, 19 Apr 2020 00:12:01 +0000 (+0200)
Subject: Restore the type_error, which was implemented correctly by @notoria.
X-Git-Tag: v0.8.123~125^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=60f1f1cb3d5866527ed24d9ab9e50059641613f0;p=scryer-prolog.git

Restore the type_error, which was implemented correctly by @notoria.

This corrects f28e87b2401960e3b31bea114318e2b3ef1616d3:
in_character is a valid type by 7.12.2 Error classification!
---

diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl
index 4e3a4a22..717bbaaa 100644
--- a/src/prolog/lib/charsio.pl
+++ b/src/prolog/lib/charsio.pl
@@ -60,7 +60,7 @@ extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :-
 get_single_char(C) :-
     (  var(C) -> '$get_single_char'(C)
     ;  atom_length(C, 1) -> '$get_single_char'(C)
-    ;  throw(error(domain_error(in_character, C), get_single_char/1))
+    ;  throw(error(type_error(in_character, C), get_single_char/1))
     ).