Merge pull request #1115 from triska/get_char_type_test

ENHANCED: Character type checks for get_char/[1,2].
2021-11-28 11:53:15 -05:00
parent a87f0481b8 5e55732cb0
commit b576bb55ef
1 changed files with 2 additions and 0 deletions
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1311,10 +1311,12 @@ char_code(Char, Code) :-
    ).

 get_char(C) :-
+    error:can_be(character, C),
    current_input(S),
    '$get_char'(S, C).

 get_char(S, C) :-
+    error:can_be(character, C),
    '$get_char'(S, C).

 can_be_number(N, PI) :-