projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1a77fd7
)
Fix Trac #3342: missed zonking in TcHsSyn
author
simonpj@microsoft.com
<unknown>
Thu, 2 Jul 2009 12:43:31 +0000
(12:43 +0000)
committer
simonpj@microsoft.com
<unknown>
Thu, 2 Jul 2009 12:43:31 +0000
(12:43 +0000)
The type in a ViewPat wasn't being zonked. Easily fixed.
compiler/typecheck/TcHsSyn.lhs
patch
|
blob
|
history
diff --git
a/compiler/typecheck/TcHsSyn.lhs
b/compiler/typecheck/TcHsSyn.lhs
index
fa54a63
..
ffd2893
100644
(file)
--- 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