Merge pull request #957 from pmoura/fix_at_end_of_stream_predicate_missing_check_for_instantiation_error

Fix at_end_of_stream/1 predicate missing check for instantiation error
2021-05-13 23:17:59 -06:00
parent c8d0f6ff20 6540fea4da
commit d219f0bdc6
1 changed files with 3 additions and 1 deletions
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1607,7 +1607,9 @@ stream_property(S, P) :-


 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))
    ;  S = S_or_a
    ),