X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Ftypecheck%2FTcHsSyn.lhs;h=c938a7638ff6446f416fee47ffbd4f72dcaada01;hb=5d3051c66796dcf884b052f9e4afc3ed19b9f514;hp=4289c2c9de3165323ca1d76a7f1affd0d5d9cd69;hpb=7985849b10db59b566d1864075b97b5d11d3a31d;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcHsSyn.lhs b/ghc/compiler/typecheck/TcHsSyn.lhs
index 4289c2c..c938a76 100644
--- a/ghc/compiler/typecheck/TcHsSyn.lhs
+++ b/ghc/compiler/typecheck/TcHsSyn.lhs
@@ -78,6 +78,7 @@ pat_type (ParPat pat)		   = hsPatType pat
 pat_type (WildPat ty)		   = ty
 pat_type (VarPat var)		   = idType var
 pat_type (VarPatOut var _)	   = idType var
+pat_type (BangPat pat)		   = hsPatType pat
 pat_type (LazyPat pat)		   = hsPatType pat
 pat_type (LitPat lit)		   = hsLitType lit
 pat_type (AsPat var pat)	   = idType (unLoc var)
@@ -713,6 +714,10 @@ zonk_pat env (LazyPat pat)
   = do	{ (env', pat') <- zonkPat env pat
 	; return (env',  LazyPat pat') }
 
+zonk_pat env (BangPat pat)
+  = do	{ (env', pat') <- zonkPat env pat
+	; return (env',  BangPat pat') }
+
 zonk_pat env (AsPat (L loc v) pat)
   = do	{ v' <- zonkIdBndr env v
 	; (env', pat') <- zonkPat (extendZonkEnv1 env v') pat