rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix char_code/2 predicate wrong error term when the first argument is bound but is not an atom

Browse Source
This commit is contained in:
Paulo Moura
2021-05-10 21:27:04 +01:00
parent 6eb36226b1
commit 8acbdfbf1d
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/builtins.pl
View File

@@ -1296,6 +1296,8 @@ char_code(Char, Code) :-
'$char_code'(Char, Code) '$char_code'(Char, Code)
; throw(error(type_error(integer, Code), char_code/2)) ; throw(error(type_error(integer, Code), char_code/2))
) )
; \+ atom(Char) ->
throw(error(type_error(character, Char), char_code/2))
; atom_length(Char, 1) -> ; atom_length(Char, 1) ->
( var(Code) -> ( var(Code) ->
'$char_code'(Char, Code) '$char_code'(Char, Code)