X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FhsSyn%2FHsPat.lhs;h=53a8bc035fbb8b8b00306fe41b991cb86ebc4639;hb=4c6a3f787abcaed009a574196d82237d9ae64fc8;hp=6b294c1c42237e6c31bbf764e126b2b44ecb1105;hpb=83e979b3db9acba32973ce065fce6248ee0f59a6;p=ghc-hetmet.git

diff --git a/compiler/hsSyn/HsPat.lhs b/compiler/hsSyn/HsPat.lhs
index 6b294c1..53a8bc0 100644
--- a/compiler/hsSyn/HsPat.lhs
+++ b/compiler/hsSyn/HsPat.lhs
@@ -398,7 +398,7 @@ isBangHsBind :: HsBind id -> Bool
 isBangHsBind (PatBind { pat_lhs = L _ (BangPat _) }) = True
 isBangHsBind _                                       = False
 
-isIrrefutableHsPat :: LPat id -> Bool
+isIrrefutableHsPat :: OutputableBndr id => LPat id -> Bool
 -- (isIrrefutableHsPat p) is true if matching against p cannot fail,
 -- in the sense of falling through to the next pattern.
 --	(NB: this is not quite the same as the (silly) defn
@@ -436,6 +436,10 @@ isIrrefutableHsPat pat
     go1 (NPat _ _ _)	   = False
     go1 (NPlusKPat _ _ _ _) = False
 
-    go1 (TypePat _)   = panic "isIrrefutableHsPat: type pattern"
+    go1 (QuasiQuotePat {}) = urk pat	-- Gotten rid of by renamer, before
+					-- isIrrefutablePat is called
+    go1 (TypePat {})       = urk pat
+
+    urk pat = pprPanic "isIrrefutableHsPat:" (ppr pat)
 \end{code}