Merge pull request #2818 from adri326/stream-cleanup

Fix various issues around close/1 and stream realiasing
2025-02-12 23:23:11 -08:00
parent e5cca9d10a 2a218f34b9
commit 35c1880937
15 changed files with 380 additions and 164 deletions
@@ -0,0 +1,2 @@
+alias_dropped_stream.
+halt.
@@ -0,0 +1 @@
+   error(existence_error(stream,readme),stream_property/0).
@@ -0,0 +1,2 @@
+# Part of issue 2806
+args = ["-f", "--no-add-history", "src/tests/stream-aliasing.pl"]
@@ -0,0 +1,2 @@
+realias_user_output.
+halt.
@@ -0,0 +1 @@
+   true.
@@ -0,0 +1,2 @@
+# Part of issue 2806
+args = ["-f", "--no-add-history", "src/tests/stream-aliasing.pl"]
@@ -0,0 +1 @@
+hello   true.
@@ -0,0 +1,2 @@
+set_output_alias.
+halt.
@@ -0,0 +1,2 @@
+# Part of issue 2806
+args = ["-f", "--no-add-history", "src/tests/stream-aliasing.pl"]
				`@@ -0,0 +1 @@`
				`error(existence_error(stream,readme),stream_property/0).`