]> Repositorios git - scryer-prolog.git/commitdiff
add another test and remove unecessary module qualification
authorBennet Bleßmann <[email protected]>
Sat, 26 Jul 2025 19:18:15 +0000 (21:18 +0200)
committerBennet Bleßmann <[email protected]>
Fri, 1 Aug 2025 18:48:03 +0000 (20:48 +0200)
src/lib/process.pl
tests/scryer/cli/windows/process.md

index d02713e94864f60c360966f585bb1f195e8cbff6..878b295d068029fc0a588d94f03d23e812d25c93 100644 (file)
@@ -149,7 +149,7 @@ must_be_known_options(Valid, Found, [X|XS]) :-
 check_options([], _).
 check_options([X | XS], Options) :- 
     (Kinds, Pred, Default, Choice) = X,
-    tfilter(process:find_option(Kinds), Options, Solutions),
+    tfilter(find_option(Kinds), Options, Solutions),
     (
         Solutions = [] -> Choice = Default;
         Solutions = [Provided] -> call(Pred, Provided), Choice = Provided ;
index c83520cc36e111b80d7a4ab79b8c92c0648dc4f6..2b3fdbf54c1ebd0ddf64e2d1056bbd82d2c79b70 100644 (file)
@@ -2,3 +2,8 @@
 $ scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_create("cmd", ["/C", "exit", "1"], [process(P)]), process_wait(P, exit(1)), halt'
 
 ```
+
+```trycmd
+$  scryer-prolog -f --no-add-history -g 'use_module(library(process)), use_module(library(format)), process_create("cmd", [], [process(P), stdout(null), stdin(pipe(S))]), format(S, "exit 1~n", []), process_wait(P, Status), halt'
+
+```
\ No newline at end of file