From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Mon, 8 Jul 2013 02:21:33 +0000 (-0400)
Subject: exitFailure on panic
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=5ab3bfb6a659a72908bf69f74976bf70afcbddbb;p=dyna2

exitFailure on panic
---

diff --git a/src/Dyna/Main/Driver.hs b/src/Dyna/Main/Driver.hs
index c331298..dd076cb 100644
--- a/src/Dyna/Main/Driver.hs
+++ b/src/Dyna/Main/Driver.hs
@@ -517,6 +517,7 @@ main = catches (getArgs >>= main_)
   panic d = do
     PP.hPutDoc stderr (panicMsg <> line <> taMsg <> line <> PP.indent 1 d)
     hPutStrLn stderr ""
+    exitFailure
 
   upeMsg :: (IsString s) => s
   upeMsg = "Encountered error in input program:"