From: Markus Triska <triska@metalevel.at>
Date: Mon, 8 Nov 2021 21:10:14 +0000 (+0100)
Subject: FIXED: instantiation errors for type(Var) in open/4 options
X-Git-Tag: v0.9.0~30^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2d1f182c496ba09dbfa8604f7b072f983fef14eb;p=scryer-prolog.git

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

This addresses #1030.
---

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 3c9c27a1..1a92acf9 100644
--- 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)), _))
     ).