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

address comment by triska

Browse Source 
https://github.com/mthom/scryer-prolog/pull/3009#discussion_r2233221091
This commit is contained in:
Bennet Bleßmann
2025-07-26 22:08:58 +02:00
committed by Bennet Bleßmann
parent 62e43a3ab0
commit d0a6dc9df2
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/lib/process.pl
View File

@@ -51,12 +51,12 @@ process_create(Exe, Args, Options) :-
must_be_known_options([stdin, stdout, stderr, env, environment, process, cwd], [], Options), must_be_known_options([stdin, stdout, stderr, env, environment, process, cwd], [], Options),
check_options( check_options(
[ [
([stdin], valid_stdio, stdin(std), stdin(Stdin)), option([stdin], valid_stdio, stdin(std), stdin(Stdin)),
([stdout], valid_stdio, stdout(std), stdout(Stdout)), option([stdout], valid_stdio, stdout(std), stdout(Stdout)),
([stderr], valid_stdio, stderr(std), stderr(Stderr)), option([stderr], valid_stdio, stderr(std), stderr(Stderr)),
([env, environment], valid_env, environment([]), Env), option([env, environment], valid_env, environment([]), Env),
([process], valid_uninit_process, process(_), process(Process)), option([process], valid_uninit_process, process(_), process(Process)),
([cwd], valid_cwd, cwd("."), cwd(Cwd)) option([cwd], valid_cwd, cwd("."), cwd(Cwd))
], ],
Options Options
), ),
@@ -102,7 +102,7 @@ process_wait(Process, Status, Options) :-
valid_process(Process, process_wait/3), valid_process(Process, process_wait/3),
must_be_known_options([timeout], [], Options),check_options( must_be_known_options([timeout], [], Options),check_options(
[ [
([timeout], valid_timeout, timeout(infinite), timeout(Timeout)) option([timeout], valid_timeout, timeout(infinite), timeout(Timeout))
], ],
Options Options
), ),
@@ -147,7 +147,7 @@ must_be_known_options(Valid, Found, [X|XS]) :-
check_options([], _). check_options([], _).
check_options([X | XS], Options) :- check_options([X | XS], Options) :-
(Kinds, Pred, Default, Choice) = X, option(Kinds, Pred, Default, Choice) = X,
tfilter(find_option(Kinds), Options, Solutions), tfilter(find_option(Kinds), Options, Solutions),
( Solutions = [] -> Choice = Default ( Solutions = [] -> Choice = Default
; Solutions = [Provided] -> call(Pred, Provided), Choice = Provided ; Solutions = [Provided] -> call(Pred, Provided), Choice = Provided