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

Fix open/3-4 predicates error term when the stream argument is bound

Browse Source
This commit is contained in:
Paulo Moura
2021-05-09 19:21:21 +01:00
parent 9b483d381f
commit 73c09e3365
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/builtins.pl
View File

@@ -1450,7 +1450,7 @@ open(SourceSink, Mode, Stream, StreamOptions) :-
; \+ atom(Mode) -> ; \+ atom(Mode) ->
throw(error(type_error(atom, Mode), open/4)) % 8.11.5.3d) throw(error(type_error(atom, Mode), open/4)) % 8.11.5.3d)
; nonvar(Stream) -> ; nonvar(Stream) ->
throw(error(type_error(variable, Stream), open/4)) % 8.11.5.3f) throw(error(uninstantiation_error(Stream), open/4)) % 8.11.5.3f)
; ;
parse_stream_options(StreamOptions, [Alias, EOFAction, Reposition, Type], open/4), parse_stream_options(StreamOptions, [Alias, EOFAction, Reposition, Type], open/4),
'$open'(SourceSink, Mode, Stream, Alias, EOFAction, Reposition, Type) '$open'(SourceSink, Mode, Stream, Alias, EOFAction, Reposition, Type)