From 5e55732cb0566262d26b8af2deb5ebd66422b3d3 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 28 Nov 2021 10:49:40 +0100
Subject: [PATCH] ENHANCED: Character type checks for get_char/[1,2].

This addresses #906.
---
 src/lib/builtins.pl | 2 ++
 1 file changed, 2 insertions(+)

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) :-
-- 
2.54.0