From 3045f327d51a095b5668cb2820a523a58ee88f17 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Mon, 8 Nov 2021 22:41:04 +0100
Subject: [PATCH] FIXED: instantiation errors for alias(Var) in open/4 options

This addresses #1030.
---
 src/lib/builtins.pl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 1a92acf9..f8808ebb 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1442,7 +1442,10 @@ parse_stream_options_(reposition(Bool), reposition-Bool) :-
        throw(error(domain_error(stream_option, reposition(Bool)), _))
     ).
 parse_stream_options_(alias(A), alias-A) :-
-    (  atom(A), A \== [], !, true
+    (  var(A) ->
+       throw(error(instantiation_error, open/4)) % 8.1.3 7)
+    ;
+       atom(A), A \== [] -> true
     ;
        throw(error(domain_error(stream_option, alias(A)), _))
     ).
-- 
2.54.0