]> Repositorios git - scryer-prolog.git/commitdiff
fix culprit
authorBennet Bleßmann <[email protected]>
Wed, 30 Jul 2025 20:14:43 +0000 (22:14 +0200)
committerBennet Bleßmann <[email protected]>
Fri, 1 Aug 2025 18:49:24 +0000 (20:49 +0200)
src/lib/process.pl
tests/scryer/cli/src_tests/process.md

index b754c331b9c8b12af4f340c052ec5e5d2538cfbb..12650416f6b3e2a794c2022d2b0f2978f7aa1948 100644 (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 
index 59e8de107b2e6dbe9106551f5f8881c8934f3095..bb198d23adaf2a291f19ce24bdd50237518b68c8 100644 (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)
 
 ```