From 5f58e1cfd7ecbc7d2825a4640bbceaf609303cd4 Mon Sep 17 00:00:00 2001 From: Thierry Marianne Date: Sat, 13 Sep 2025 14:37:53 +0200 Subject: [PATCH] reproduce panick originating in set_input/1 call from top-level Signed-off-by: Thierry Marianne --- .../issues/set_input_from_input_file_stream.in/input | 1 + .../set_input_from_top-level.pl | 10 ++++++++++ .../cli/issues/set_input_from_input_file_stream.stderr | 0 .../cli/issues/set_input_from_input_file_stream.stdin | 0 .../cli/issues/set_input_from_input_file_stream.stdout | 1 + .../cli/issues/set_input_from_input_file_stream.toml | 1 + 6 files changed, 13 insertions(+) create mode 100644 tests/scryer/cli/issues/set_input_from_input_file_stream.in/input create mode 100644 tests/scryer/cli/issues/set_input_from_input_file_stream.in/set_input_from_top-level.pl create mode 100644 tests/scryer/cli/issues/set_input_from_input_file_stream.stderr create mode 100644 tests/scryer/cli/issues/set_input_from_input_file_stream.stdin create mode 100644 tests/scryer/cli/issues/set_input_from_input_file_stream.stdout create mode 100644 tests/scryer/cli/issues/set_input_from_input_file_stream.toml 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 index 00000000..60c0d887 --- /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 index 00000000..b38f2223 --- /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 index 00000000..e69de29b 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 index 00000000..e69de29b 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 index 00000000..f32a5804 --- /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 index 00000000..e488fd1f --- /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."] -- 2.54.0