rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
Signed-off-by: Thierry Marianne <thierry@marianne.io>
This commit is contained in:
Thierry Marianne
2025-09-13 14:37:53 +02:00
parent dc05526c71
commit 5f58e1cfd7
6 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tests/scryer/cli/issues/set_input_from_input_file_stream.in/input Normal file
View File

@@ -0,0 +1 @@
true.

10
tests/scryer/cli/issues/set_input_from_input_file_stream.in/set_input_from_top-level.pl Normal file
View File

@@ -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).

0
tests/scryer/cli/issues/set_input_from_input_file_stream.stderr Normal file
View File

0
tests/scryer/cli/issues/set_input_from_input_file_stream.stdin Normal file
View File

1
tests/scryer/cli/issues/set_input_from_input_file_stream.stdout Normal file
View File

@@ -0,0 +1 @@
true

1
tests/scryer/cli/issues/set_input_from_input_file_stream.toml Normal file
View File

@@ -0,0 +1 @@
args = ["-f", "--no-add-history", "-g", "consult('set_input_from_top-level.pl').", "-g", "halt."]