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

fix culprit

Browse Source
This commit is contained in:
Bennet Bleßmann
2025-07-30 22:14:43 +02:00
committed by Bennet Bleßmann
parent b2d639b159
commit 45041be336
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/process.pl
View File

@@ -142,7 +142,7 @@ 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) -> true
; domain_error(Domain, Option , Context)
; domain_error(Domain, X , Context)
) ,
( member(Option, Found) -> domain_error(non_duplicate_options, Option , Context)
; member(Option, Valid) -> true

2
tests/scryer/cli/src_tests/process.md
View File

@@ -1,6 +1,6 @@
```trycmd
$ scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_create("", [], [invalid, process(P)]), process_kill(P), halt'
use_module(library(process)),process_create([],[],[invalid,process(P)]),process_kill(P),halt causes: error(domain_error(process_create_option,_[..]),process_create/3)
use_module(library(process)),process_create([],[],[invalid,process(P)]),process_kill(P),halt causes: error(domain_error(process_create_option,invalid),process_create/3)
```