Make parseArgs total by handling the case where there is an unrecogni…

…zed argument
ayberkt · Jul 10, 2017 · 6a677a7 · 6a677a7
1 parent 5caa859
commit 6a677a7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/flags.sml b/src/flags.sml
@@ -12,7 +12,9 @@ structure Flags : FLAGS = struct
   fun parseArgs [] = ()
     | parseArgs ("--latex"::rest) =
         (flgShouldGenLaTeX := true; parseArgs rest)
-    | parseArgs ("--steps"::rest) = parseArgs rest
     | parseArgs ("--out"::file::rest) =
         (flgOutFile := SOME file; parseArgs rest)
+    | parseArgs (arg::_) =
+        (print ("Unrecognized argument: " ^ arg ^ "\n");
+         OS.Process.exit OS.Process.failure)
 end