X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fcmm%2FCmm.hs;h=2e9f952f7b44e955b9d262d9a9cb7f97f5348aeb;hb=b20d5a36b35cf8260554259dc3887a90171c6495;hp=076922e3fb8dbb02a077cea69d54312c1ff749f5;hpb=889c084e943779e76d19f2ef5e970ff655f511eb;p=ghc-hetmet.git diff --git a/compiler/cmm/Cmm.hs b/compiler/cmm/Cmm.hs index 076922e..2e9f952 100644 --- a/compiler/cmm/Cmm.hs +++ b/compiler/cmm/Cmm.hs @@ -2,6 +2,12 @@ {-# LANGUAGE GADTs #-} {-# OPTIONS_GHC -fno-warn-warnings-deprecations #-} +{-# OPTIONS_GHC -fno-warn-incomplete-patterns #-} +#if __GLASGOW_HASKELL__ >= 701 +-- GHC 7.0.1 improved incomplete pattern warnings with GADTs +{-# OPTIONS_GHC -fwarn-incomplete-patterns #-} +#endif + module Cmm ( CmmGraph(..), CmmBlock , CmmStackInfo(..), CmmTopInfo(..), Cmm, CmmTop @@ -52,7 +58,6 @@ type CmmTop = GenCmmTop CmmStatic CmmTopInfo CmmGraph toBlockMap :: CmmGraph -> LabelMap CmmBlock toBlockMap (CmmGraph {g_graph=GMany NothingO body NothingO}) = body ---toBlockMap _ = panic "Cmm.toBlockMap" ofBlockMap :: BlockId -> LabelMap CmmBlock -> CmmGraph ofBlockMap entry bodyMap = CmmGraph {g_entry=entry, g_graph=GMany NothingO bodyMap NothingO} @@ -131,7 +136,6 @@ insertBetween b ms succId = insert $ lastNode b panic "unimp: insertBetween after a call -- probably not a good idea" insert (CmmForeignCall {}) = panic "unimp: insertBetween after a foreign call -- probably not a good idea" - --insert _ = panic "Cmm.insertBetween.insert" newBlocks :: MonadUnique m => m (BlockId, [CmmBlock]) newBlocks = do id <- liftM mkBlockId $ getUniqueM