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

FIXED: instantiation errors for alias(Var) in open/4 options

Browse Source 
This addresses #1030.
This commit is contained in:
Markus Triska
2021-11-08 22:41:04 +01:00
parent 2d1f182c49
commit 3045f327d5
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/builtins.pl
View File

@@ -1442,7 +1442,10 @@ parse_stream_options_(reposition(Bool), reposition-Bool) :-
throw(error(domain_error(stream_option, reposition(Bool)), _)) throw(error(domain_error(stream_option, reposition(Bool)), _))
). ).
parse_stream_options_(alias(A), alias-A) :- parse_stream_options_(alias(A), alias-A) :-
( atom(A), A \== [], !, true ( var(A) ->
throw(error(instantiation_error, open/4)) % 8.1.3 7)
;
atom(A), A \== [] -> true
; ;
throw(error(domain_error(stream_option, alias(A)), _)) throw(error(domain_error(stream_option, alias(A)), _))
). ).