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

Restore the type_error, which was implemented correctly by @notoria.

Browse Source 
This corrects f28e87b240:
in_character is a valid type by 7.12.2 Error classification!
This commit is contained in:
Markus Triska
2020-04-19 02:12:01 +02:00
parent ab3c520006
commit 60f1f1cb3d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/prolog/lib/charsio.pl
View File

@@ -60,7 +60,7 @@ extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :-
get_single_char(C) :-
( var(C) -> '$get_single_char'(C)
; atom_length(C, 1) -> '$get_single_char'(C)
; throw(error(domain_error(in_character, C), get_single_char/1))
; throw(error(type_error(in_character, C), get_single_char/1))
).