ENHANCED: Character type checks for get_char/[1,2].

This addresses #906.

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index f8808ebb1adf068ecb32c45cb264040927064817..14e10100a34a0ca615427a9dbc848b770f9e77a2 100644 (file)
--- 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) :-