Fsdk/Misc: make tests pass when pred.IsNone

nblockchain · Aug 25, 2023 · 35a4112 · 35a4112
1 parent 43bd2c3
commit 35a4112
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/Fsdk/Misc.fs b/Fsdk/Misc.fs
@@ -111,9 +111,14 @@ module Misc =
             (acc: ArgsParsed)
             : ArgsParsed =
             match theArgs with
-            | [] -> ErrorDetectingProgram
+            | [] ->
+                if predicateToRecognizeProgram.IsSome then
+                    ErrorDetectingProgram
+                else
+                    acc
             | head :: tail ->
-                if predicateToRecognizeProgram.IsSome && predicateToRecognizeProgram.Value head then
+                if predicateToRecognizeProgram.IsSome
+                   && predicateToRecognizeProgram.Value head then
                     acc
                 elif head.StartsWith "--" || head.StartsWith "-" then
                     let newAcc =