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."]