X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fcmm%2FCmmNode.hs;fp=compiler%2Fcmm%2FCmmNode.hs;h=93564ac946a0a5df560e28dac63d596d8714258c;hb=463bbe95172eba825434b7a706040708797c08af;hp=12d534ea5323935720f17af5f3ce7c94778c2b29;hpb=889c084e943779e76d19f2ef5e970ff655f511eb;p=ghc-hetmet.git diff --git a/compiler/cmm/CmmNode.hs b/compiler/cmm/CmmNode.hs index 12d534e..93564ac 100644 --- a/compiler/cmm/CmmNode.hs +++ b/compiler/cmm/CmmNode.hs @@ -1,5 +1,12 @@ -- CmmNode type for representation using Hoopl graphs. {-# LANGUAGE GADTs #-} + +{-# 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 CmmNode ( CmmNode(..) , UpdFrameOffset, Convention(..), ForeignConvention(..), ForeignTarget(..) @@ -129,14 +136,12 @@ instance Eq (CmmNode e x) where instance NonLocal CmmNode where entryLabel (CmmEntry l) = l - -- entryLabel _ = error "CmmNode.entryLabel" successors (CmmBranch l) = [l] successors (CmmCondBranch {cml_true=t, cml_false=f}) = [f, t] -- meets layout constraint successors (CmmSwitch _ ls) = catMaybes ls successors (CmmCall {cml_cont=l}) = maybeToList l successors (CmmForeignCall {succ=l}) = [l] - -- successors _ = error "CmmNode.successors" instance HooplNode CmmNode where