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

This addresses #1030.
2021-11-08 22:10:14 +01:00
parent 0677f51717
commit 2d1f182c49
1 changed files with 4 additions and 1 deletions
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1429,7 +1429,10 @@ parse_stream_options(Options, OptionValues, Stub) :-


 parse_stream_options_(type(Type), type-Type) :-
-    (  nonvar(Type), lists:member(Type, [text, binary]), !, true
+    (  var(Type) ->
+       throw(error(instantiation_error, open/4)) % 8.1.3 7)
+    ;
+       lists:member(Type, [text, binary]) -> true
    ;
       throw(error(domain_error(stream_option, type(Type)), _))
    ).