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

fix os:argv

Browse Source
This commit is contained in:
Skgland
2024-01-02 20:54:37 +01:00
committed by Bennet Bleßmann
parent 7537686d8f
commit 76b1167842
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/os.pl
View File

@@ -137,7 +137,9 @@ raw_argv(Argv) :-
argv(Argv) :- argv(Argv) :-
can_be(list, Argv), can_be(list, Argv),
'$argv'(Argv0), '$argv'(Argv0),
( append(Argv1, ["--"|Argv], Argv0) -> ( member("--", Argv0) ->
\+ member("--", Argv1) append(Argv1, ["--"|Argv], Argv0),
; Argv = [] \+ member("--", Argv1)
;
Argv = []
). ).