aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Main.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Main.hs b/src/Main.hs
index 91b5e56e..73ddb1d9 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -101,7 +101,9 @@ handleGhcExceptions =
hFlush stdout
case e of
PhaseFailed _ code -> exitWith code
+#if ! MIN_VERSION_ghc(6,13,0)
Interrupted -> exitFailure
+#endif
_ -> do
print (e :: GhcException)
exitFailure