Fix char_code/2 predicate failure instead of exception on non-integer second argument

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 502827b6cf3dd7c85c66877147472ab40e27fb69..49b352e7b2bcabe02efa8ef87124d939169afecd 100644 (file)
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1293,7 +1293,12 @@ char_code(Char, Code) :-
        ;  throw(error(type_error(integer, Code), char_code/2))
        )
     ;  atom_length(Char, 1) ->
-       '$char_code'(Char, Code)
+       (  var(Code) ->
+          '$char_code'(Char, Code)
+       ;  integer(Code) ->
+          '$char_code'(Char, Code)
+       ;  throw(error(type_error(integer, Code), char_code/2))
+       )
     ;  throw(error(type_error(character, Char), char_code/2))
     ).