X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcHsSyn.lhs;h=47231fb0a65d57b32b82fc6cf1e9f82f8bd82142;hp=322a5fd69d98b57b1bc9822fbf4f08e847826c6d;hb=5dc9a4504ea4d3df462081a7dbfde0431eac133e;hpb=e6e4036c03b21295e6457d0443106cf4e2830f4a

diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs
index 322a5fd..47231fb 100644
--- a/compiler/typecheck/TcHsSyn.lhs
+++ b/compiler/typecheck/TcHsSyn.lhs
@@ -777,6 +777,14 @@ zonk_pat env (DictPat ds ms)
 	; ms' <- zonkIdBndrs env ms
 	; return (extendZonkEnv env (ds' ++ ms'), DictPat ds' ms') }
 
+zonk_pat env (CoPat co_fn pat ty) 
+  = do { (env', co_fn') <- zonkCoFn env co_fn
+       ; (env'', pat') <- zonkPat env' (noLoc pat)
+       ; ty' <- zonkTcTypeToType env'' ty
+       ; return (env'', CoPat co_fn' (unLoc pat') ty') }
+
+zonk_pat env pat = pprPanic "zonk_pat" (ppr pat)
+
 ---------------------------
 zonkConStuff env (PrefixCon pats)
   = do	{ (env', pats') <- zonkPats env pats