From: Markus Triska <triska@metalevel.at>
Date: Sun, 28 Nov 2021 09:49:40 +0000 (+0100)
Subject: ENHANCED: Character type checks for get_char/[1,2].
X-Git-Tag: v0.9.0~18^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5e55732cb0566262d26b8af2deb5ebd66422b3d3;p=scryer-prolog.git

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 f8808ebb..14e10100 100644
--- 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) :-