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

fix rename pid to process

Browse Source
This commit is contained in:
Bennet Bleßmann
2025-07-21 00:06:46 +02:00
committed by Bennet Bleßmann
parent ca52c65902
commit 87dbad2294
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/lib/process.pl
View File

@@ -15,14 +15,14 @@ process_create(Exe, Args, Options) :-
must_be(list, Args), must_be(list, Args),
maplist(must_be(chars), Args), maplist(must_be(chars), Args),
must_be(list, Options), must_be(list, Options),
must_be_known_options([stdin, stdout, stderr, env, environment, pid, 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)), ([stdin], valid_stdio, stdin(std), stdin(Stdin)),
([stdout], valid_stdio, stdout(std), stdout(Stdout)), ([stdout], valid_stdio, stdout(std), stdout(Stdout)),
([stderr], valid_stdio, stderr(std), stderr(Stderr)), ([stderr], valid_stdio, stderr(std), stderr(Stderr)),
([env, environment], valid_env, environment([]), Env), ([env, environment], valid_env, environment([]), Env),
([process], valid_pid, process(_), process(Pid)), ([process], valid_process, process(_), process(Pid)),
([cwd], valid_cwd, cwd("."), cwd(Cwd)) ([cwd], valid_cwd, cwd("."), cwd(Cwd))
], ],
Options Options
@@ -108,7 +108,8 @@ valid_env_([N=V|ES]) :-
must_be(chars, V), must_be(chars, V),
valid_env_(ES). valid_env_(ES).
valid_pid(pid(Pid)) :- must_be(var, Pid). valid_process(process(Pid)) :- must_be(var, Pid).
valid_cwd(cwd(Cwd)) :- must_be(chars, Cwd). valid_cwd(cwd(Cwd)) :- must_be(chars, Cwd).
simplify_env(E, [Kind, Envs1]) :- E =.. [Kind, Envs], simplify_env_(Envs, Envs1). simplify_env(E, [Kind, Envs1]) :- E =.. [Kind, Envs], simplify_env_(Envs, Envs1).