diff options
| author | simonpj@microsoft.com <unknown> | 2009-07-02 12:43:31 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-07-02 12:43:31 +0000 |
| commit | 8b87f1916a010bf35163bae5925cb1e1fa37a94d (patch) | |
| tree | 2af97eb2ad0b93c046f72a8b3354d0fd3abd6fdb | |
| parent | 1a77fd719aef44c2f91a25ddf312c70651bce1f1 (diff) | |
| download | haskell-8b87f1916a010bf35163bae5925cb1e1fa37a94d.tar.gz | |
Fix Trac #3342: missed zonking in TcHsSyn
The type in a ViewPat wasn't being zonked. Easily fixed.
| -rw-r--r-- | compiler/typecheck/TcHsSyn.lhs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs index fa54a630de..ffd2893a5e 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 |