From: Bennet Bleßmann Date: Wed, 30 Jul 2025 20:14:43 +0000 (+0200) Subject: fix culprit X-Git-Tag: v0.10.0~35^2^2~3 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=45041be336cd052f605cb8dc74d72830cb666dcb;p=scryer-prolog.git fix culprit --- diff --git a/src/lib/process.pl b/src/lib/process.pl index b754c331..12650416 100644 --- a/src/lib/process.pl +++ b/src/lib/process.pl @@ -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 diff --git a/tests/scryer/cli/src_tests/process.md b/tests/scryer/cli/src_tests/process.md index 59e8de10..bb198d23 100644 --- a/tests/scryer/cli/src_tests/process.md +++ b/tests/scryer/cli/src_tests/process.md @@ -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) ```