From: Thierry Marianne Date: Sat, 13 Sep 2025 12:37:53 +0000 (+0200) Subject: reproduce panick originating in set_input/1 call from top-level X-Git-Tag: v0.10.0~2^2~7 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5f58e1cfd7ecbc7d2825a4640bbceaf609303cd4;p=scryer-prolog.git reproduce panick originating in set_input/1 call from top-level Signed-off-by: Thierry Marianne --- 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."]