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

more tests

Browse Source
This commit is contained in:
Bennet Bleßmann
2025-07-27 20:36:07 +02:00
committed by Bennet Bleßmann
parent 409159d68d
commit 3a6b92d227
2 changed files with 41 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/process.pl
View File

@@ -71,9 +71,7 @@ process_create(Exe, Args, Options) :-
%
process_id(Process, Pid) :-
valid_process(Process, process_id/2),
write(valid), nl,
must_be(var, Pid),
write(var), nl,
'$process_id'(Process, Pid).
%% process_wait(+Process, Status).
@@ -143,7 +141,9 @@ must_be_known_options(Valid, Options, Domain, Context) :- must_be_known_options_
must_be_known_options_(_, _, [], _, _).
must_be_known_options_(Valid, Found, [X|XS], Domain, Context) :-
functor(X, Option, 1),
( functor(X, Option, 1) -> true
; domain_error(Domain, Option , Context)
) ,
( member(Option, Found) -> domain_error(non_duplicate_options, Option , Context)
; member(Option, Valid) -> true
; domain_error(Domain, Option, Context)