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

add another test and remove unecessary module qualification

Browse Source
This commit is contained in:
Bennet Bleßmann
2025-07-26 21:18:15 +02:00
committed by Bennet Bleßmann
parent 25edde2eb4
commit 70d65bcea8
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/process.pl
View File

@@ -149,7 +149,7 @@ must_be_known_options(Valid, Found, [X|XS]) :-
check_options([], _).
check_options([X | XS], Options) :-
(Kinds, Pred, Default, Choice) = X,
tfilter(process:find_option(Kinds), Options, Solutions),
tfilter(find_option(Kinds), Options, Solutions),
(
Solutions = [] -> Choice = Default;
Solutions = [Provided] -> call(Pred, Provided), Choice = Provided ;