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

detect character type errors in atom_{chars|codes}/2 (#1472)

Browse Source
This commit is contained in:
Mark Thom
2022-05-16 16:32:38 -06:00
parent e8eb6765bd
commit b96cd06129
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/builtins.pl
View File

@@ -1258,10 +1258,12 @@ atom_chars(Atom, List) :-
( var(Tail) -> ( var(Tail) ->
throw(error(instantiation_error, atom_chars/2)) throw(error(instantiation_error, atom_chars/2))
; ground(List) -> ; ground(List) ->
chars_or_vars(List, atom_chars/2),
'$atom_chars'(Atom, List) '$atom_chars'(Atom, List)
; throw(error(instantiation_error, atom_chars/2)) ; throw(error(instantiation_error, atom_chars/2))
) )
; atom(Atom) -> ; atom(Atom) ->
chars_or_vars(List, atom_chars/2),
'$atom_chars'(Atom, List) '$atom_chars'(Atom, List)
; throw(error(type_error(atom, Atom), atom_chars/2)) ; throw(error(type_error(atom, Atom), atom_chars/2))
). ).
@@ -1275,11 +1277,13 @@ atom_codes(Atom, List) :-
( var(Atom) -> ( var(Atom) ->
( var(Tail) -> ( var(Tail) ->
throw(error(instantiation_error, atom_codes/2)) throw(error(instantiation_error, atom_codes/2))
; ground(List), Tail == [] -> ; ground(List) ->
codes_or_vars(List, atom_codes/2),
'$atom_codes'(Atom, List) '$atom_codes'(Atom, List)
; throw(error(instantiation_error, atom_codes/2)) ; throw(error(instantiation_error, atom_codes/2))
) )
; atom(Atom) -> ; atom(Atom) ->
codes_or_vars(List, atom_codes/2),
'$atom_codes'(Atom, List) '$atom_codes'(Atom, List)
; throw(error(type_error(atom, Atom), atom_codes/2)) ; throw(error(type_error(atom, Atom), atom_codes/2))
). ).