Add better error message printing

VCA-EPFL · Oct 29, 2024 · 48496ce · 48496ce
1 parent 9794f64
commit 48496ce
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/Main.lean b/Main.lean
@@ -56,7 +56,14 @@ OPTIONS
 "
 
 def main (args : List String) : IO Unit := do
-  let parsed ← IO.ofExcept <| parseArgs args
+  let parsed ←
+    try IO.ofExcept <| parseArgs args
+    catch
+    | .userError s => do
+      IO.eprintln ("error: " ++ s)
+      IO.print helpText
+      IO.Process.exit 1
+    | e => throw e
   if parsed.help then
     IO.print helpText
     return