Show exception (tamarin-prover#557)

* show IOException * fix compile error * better message
yavivanov · Jun 29, 2023 · 7d77450 · 7d77450
1 parent b62bb18
commit 7d77450
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Main/Console.hs b/src/Main/Console.hs
@@ -138,9 +138,12 @@ testProcess check defaultMsg testName prog args inp ignoreExitCode maudeTest = d
 
   where
     handler :: IOException -> IO (Maybe String)
-    handler _ = do putStrLn "caught exception while executing:"
+    handler exception =
+                do putStrLn "caught exception while executing:"
                    putStrLn $ commandLine prog args
                    putStrLn $ "with input: " ++ inp
+                   putStrLn $ "Exception: "
+                   putStrLn $ "   " ++ show exception
                    if maudeTest then
                      error "Maude is not installed. Ensure Maude is available and on the path."
                      else putStrLn ""