ENHANCED: Correct type error for char_type/2.

This addresses #905.
2021-11-29 19:32:55 +01:00
parent e47aef5615
commit 79a50de697
1 changed files with 2 additions and 5 deletions
--- a/src/lib/charsio.pl
+++ b/src/lib/charsio.pl
@@ -66,8 +66,7 @@ extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :-


 char_type(Char, Type) :-
-    (   var(Char) -> instantiation_error(char_type/2)
-    ;   atom_length(Char, 1) ->
+        must_be(character, Char),
        (   ground(Type) ->
            (   ctype(Type) ->
                '$char_type'(Char, Type)
@@ -75,9 +74,7 @@ char_type(Char, Type) :-
            )
        ;   ctype(Type),
            '$char_type'(Char, Type)
-        )
-    ;   type_error(in_character, Char, char_type/2)
-    ).
+        ).


 ctype(alnum).