[project @ 2005-12-19 11:00:40 by simonpj]

Tiny fix to patterns with type sigs

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 9c466ce..69c5666 100644 (file)
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -250,7 +250,7 @@ tc_pat ctxt (SigPatIn pat sig) pat_ty thing_inside
              <- tcExtendTyVarEnv2 tv_binds $
                 tcPat ctxt pat (Check sig_ty') thing_inside
 
-       ; return (SigPatOut pat' sig_ty, tvs, res) }
+       ; return (SigPatOut pat' sig_ty', tvs, res) }
 
 tc_pat ctxt pat@(TypePat ty) pat_ty thing_inside
   = failWithTc (badTypePat pat)