reproduce panick originating in set_input/1 call from top-level

Signed-off-by: Thierry Marianne <[email protected]>

diff --git a/tests/scryer/cli/issues/set_input_from_input_file_stream.in/input b/tests/scryer/cli/issues/set_input_from_input_file_stream.in/input
new file mode 100644 (file)
index 0000000..60c0d88
--- /dev/null
+++ b/tests/scryer/cli/issues/set_input_from_input_file_stream.in/input
@@ -0,0 +1 @@
+true.
\ No newline at end of file

diff --git a/tests/scryer/cli/issues/set_input_from_input_file_stream.in/set_input_from_top-level.pl b/tests/scryer/cli/issues/set_input_from_input_file_stream.in/set_input_from_top-level.pl
new file mode 100644 (file)
index 0000000..b38f222
--- /dev/null
+++ b/tests/scryer/cli/issues/set_input_from_input_file_stream.in/set_input_from_top-level.pl
@@ -0,0 +1,10 @@
+:- use_module(library(files)).
+
+main :-
+    current_input(UserStream),
+    open('./input', read, InputStream),
+    set_input(InputStream),
+    read_term(T, []), write(T),
+    set_input(UserStream).
+
+:- initialization(main).

diff --git a/tests/scryer/cli/issues/set_input_from_input_file_stream.stderr b/tests/scryer/cli/issues/set_input_from_input_file_stream.stderr
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/scryer/cli/issues/set_input_from_input_file_stream.stdin b/tests/scryer/cli/issues/set_input_from_input_file_stream.stdin
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/scryer/cli/issues/set_input_from_input_file_stream.stdout b/tests/scryer/cli/issues/set_input_from_input_file_stream.stdout
new file mode 100644 (file)
index 0000000..f32a580
--- /dev/null
+++ b/tests/scryer/cli/issues/set_input_from_input_file_stream.stdout
@@ -0,0 +1 @@
+true
\ No newline at end of file

diff --git a/tests/scryer/cli/issues/set_input_from_input_file_stream.toml b/tests/scryer/cli/issues/set_input_from_input_file_stream.toml
new file mode 100644 (file)
index 0000000..e488fd1
--- /dev/null
+++ b/tests/scryer/cli/issues/set_input_from_input_file_stream.toml
@@ -0,0 +1 @@
+args = ["-f", "--no-add-history", "-g", "consult('set_input_from_top-level.pl').", "-g", "halt."]