diff options
author | Tamar Christina <tamar@zhox.com> | 2015-09-26 16:23:00 +0200 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-14 15:17:02 +0000 |
commit | cda84b49bfb0e17557eddd9178267d3ee0d9b343 (patch) | |
tree | 4c5937bf3586240410e4454d244c07e943680ba5 | |
parent | 7a569775a5b10abed758b207e86c404034d543f4 (diff) |
Create Process: removed PhaseFailed
-rw-r--r-- | haddock-api/src/Haddock.hs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/haddock-api/src/Haddock.hs b/haddock-api/src/Haddock.hs index 8f327b09..b87c4cf5 100644 --- a/haddock-api/src/Haddock.hs +++ b/haddock-api/src/Haddock.hs @@ -121,11 +121,8 @@ handleGhcExceptions = -- error messages propagated as exceptions handleGhcException $ \e -> do hFlush stdout - case e of - PhaseFailed _ code -> exitWith code - _ -> do - print (e :: GhcException) - exitFailure + print (e :: GhcException) + exitFailure ------------------------------------------------------------------------------- |