From: Markus Triska Date: Sun, 22 May 2022 20:43:48 +0000 (+0200) Subject: use in_character X-Git-Tag: v0.9.1~20^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6b4965375402ac23392d2d451699c87005b4cbe8;p=scryer-prolog.git use in_character This addresses one aspect of #1472. --- diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 3ddd056e..f4fa5104 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -1366,12 +1366,12 @@ char_code(Char, Code) :- ). get_char(C) :- - error:can_be(character, C), + error:can_be(in_character, C), current_input(S), '$get_char'(S, C). get_char(S, C) :- - error:can_be(character, C), + error:can_be(in_character, C), '$get_char'(S, C). can_be_number(N, PI) :-