From: simonpj@microsoft.com <unknown>
Date: Thu, 2 Jul 2009 12:43:31 +0000 (+0000)
Subject: Fix Trac #3342: missed zonking in TcHsSyn
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=8b87f1916a010bf35163bae5925cb1e1fa37a94d;p=ghc-hetmet.git

Fix Trac #3342: missed zonking in TcHsSyn

The type in a ViewPat wasn't being zonked.  Easily fixed.
---

diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs
index fa54a63..ffd2893 100644
--- a/compiler/typecheck/TcHsSyn.lhs
+++ b/compiler/typecheck/TcHsSyn.lhs
@@ -822,7 +822,8 @@ zonk_pat env (AsPat (L loc v) pat)
 zonk_pat env (ViewPat expr pat ty)
   = do	{ expr' <- zonkLExpr env expr
 	; (env', pat') <- zonkPat env pat
- 	; return (env', ViewPat expr' pat' ty) }
+ 	; ty' <- zonkTcTypeToType env ty
+	; return (env', ViewPat expr' pat' ty') }
 
 zonk_pat env (ListPat pats ty)
   = do	{ ty' <- zonkTcTypeToType env ty