Make various assertions work when !DEBUG
[ghc-hetmet.git] / compiler / specialise / SpecConstr.lhs
index 48718af..256674b 100644 (file)
@@ -4,6 +4,13 @@
 \section[SpecConstr]{Specialise over constructors}
 
 \begin{code}
+{-# OPTIONS -w #-}
+-- The above warning supression flag is a temporary kludge.
+-- While working on this module you are encouraged to remove it and fix
+-- any warnings in the module. See
+--     http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
+-- for details
+
 module SpecConstr(
        specConstrProgram       
     ) where
@@ -1242,12 +1249,10 @@ samePat (vs1, as1) (vs2, as2)
 
     same e1 e2 = WARN( bad e1 || bad e2, ppr e1 $$ ppr e2) 
                 False  -- Let, lambda, case should not occur
-#ifdef DEBUG
     bad (Case {}) = True
     bad (Let {})  = True
     bad (Lam {})  = True
     bad other    = False
-#endif
 \end{code}
 
 Note [Ignore type differences]