Commit 0f4cdf02 authored by nr@eecs.harvard.edu's avatar nr@eecs.harvard.edu

replace #ifdef DEBUG with debugIsOn in cmm/MkZipCfg

parent b9bcf6e7
...@@ -17,6 +17,7 @@ import UniqSupply ...@@ -17,6 +17,7 @@ import UniqSupply
import Prelude hiding (zip, unzip, last) import Prelude hiding (zip, unzip, last)
#include "HsVersions.h"
------------------------------------------------------------------------- -------------------------------------------------------------------------
-- GENERIC ZIPPER-BASED CONTROL-FLOW GRAPH (CONSTRUCTOR VIEW) -- -- GENERIC ZIPPER-BASED CONTROL-FLOW GRAPH (CONSTRUCTOR VIEW) --
...@@ -327,15 +328,11 @@ mkWhileDo cbranch body = ...@@ -327,15 +328,11 @@ mkWhileDo cbranch body =
note_this_code_becomes_unreachable :: note_this_code_becomes_unreachable ::
(Monad m, LastNode l, Outputable middle, Outputable l) => ZTail middle l -> m () (Monad m, LastNode l, Outputable middle, Outputable l) => ZTail middle l -> m ()
#ifdef DEBUG note_this_code_becomes_unreachable = if debugIsOn then u else \_ -> return ()
note_this_code_becomes_unreachable = u
where u (ZLast LastExit) = return () where u (ZLast LastExit) = return ()
u (ZLast (LastOther l)) | isBranchNode l = return () u (ZLast (LastOther l)) | isBranchNode l = return ()
-- Note [Branch follows branch] -- Note [Branch follows branch]
u tail = fail ("unreachable code: " ++ showSDoc (ppr tail)) u tail = fail ("unreachable code: " ++ showSDoc (ppr tail))
#else
note_this_code_becomes_unreachable _ = return ()
#endif
{- {-
Note [Branch follows branch] Note [Branch follows branch]
...@@ -347,3 +344,6 @@ giving it a label, and start a new one that branches to that label. ...@@ -347,3 +344,6 @@ giving it a label, and start a new one that branches to that label.
Emitting a Branch at this point is fine: Emitting a Branch at this point is fine:
goto L1; L2: ...stuff... goto L1; L2: ...stuff...
-} -}
_unused :: FS.FastString
_unused = undefined
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment