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

Fix at_end_of_stream/1 predicate missing check for instantiation error

Browse Source
This commit is contained in:
Paulo Moura
2021-05-12 21:17:11 +01:00
parent 39aebd7144
commit 6540fea4da
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/builtins.pl
View File

@@ -1607,7 +1607,9 @@ stream_property(S, P) :-
at_end_of_stream(S_or_a) :- at_end_of_stream(S_or_a) :-
( atom(S_or_a) -> ( var(S_or_a) ->
throw(error(instantiation_error, at_end_of_stream/1))
; atom(S_or_a) ->
stream_property(S, alias(S_or_a)) stream_property(S, alias(S_or_a))
; S = S_or_a ; S = S_or_a
), ),