diff options
author | Simon Marlow <marlowsd@gmail.com> | 2010-06-02 08:27:30 +0000 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2010-06-02 08:27:30 +0000 |
commit | 8cd7a3db4238759eb31fb9d6a4c65411add6c53b (patch) | |
tree | 6414e6504501aea81626490da3f59ae318da0c36 | |
parent | 56b1e95643ebf3f6ea21ab6b43e8dea099b25f2e (diff) |
Interrupted disappeared in GHC 6.13 (GHC ticket #4100)
-rw-r--r-- | src/Main.hs | 2 |
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 |