Fsdk,Fsdk.Tests(ArgsParsing): error case

nblockchain · Aug 23, 2023 · d0524bd · d0524bd
1 parent 3d087c0
commit d0524bd
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 1 deletion.
diff --git a/Fsdk.Tests/ArgsParsing.fs b/Fsdk.Tests/ArgsParsing.fs
@@ -59,3 +59,19 @@ type ArgsParsing() =
             Assert.That(Seq.item 0 postFlags, Is.EqualTo "--someLongPostFlag3")
             Assert.That(Seq.item 1 postFlags, Is.EqualTo "-f4")
         | _ -> Assert.Fail "res was not ArgsParsing.BothFlags subtype"
+
+    [<Test>]
+    member __.errors() =
+        let commandLine = "someProgramThatDoesNotMatchPredicate".Split(' ')
+
+        let res =
+            Misc.ParseArgs
+                commandLine
+                (fun arg ->
+                    arg = "someProgramArgThatDoesNotMatchProgramUsedInCommandLine"
+                )
+
+        match res with
+        | Misc.ArgsParsed.ErrorDetectingProgram -> Assert.Pass()
+        | _ ->
+            Assert.Fail "res was not ArgsParsing.ErrorDetectingProgram subtype"
diff --git a/Fsdk/Misc.fs b/Fsdk/Misc.fs
@@ -95,6 +95,7 @@ module Misc =
 #endif
 
     type ArgsParsed =
+        | ErrorDetectingProgram
         | NoArgsWhatsoever
         | ArgWithoutFlags of string
         | OnlyFlags of List<string>
@@ -109,13 +110,15 @@ module Misc =
             (acc: ArgsParsed)
             : ArgsParsed =
             match theArgs with
-            | [] -> acc
+            | [] -> ErrorDetectingProgram
             | head :: tail ->
                 if predicateToRecognizeProgram head then
                     acc
                 elif head.StartsWith "--" || head.StartsWith "-" then
                     let newAcc =
                         match acc with
+                        | ErrorDetectingProgram ->
+                            failwith "Error case should not be used as acc"
                         | NoArgsWhatsoever ->
                             ArgsParsed.OnlyFlags(head :: List.Empty)
                         | ArgWithoutFlags arg ->
@@ -136,6 +139,8 @@ module Misc =
                     innerFunc tail newAcc
                 else
                     match acc with
+                    | ErrorDetectingProgram ->
+                        failwith "Error case should not be used as acc"
                     | NoArgsWhatsoever -> innerFunc tail (ArgWithoutFlags head)
                     | ArgsParsed.OnlyFlags flagsSoFar ->
                         let newAcc =