From: simonpj <unknown>
Date: Mon, 19 Dec 2005 11:00:40 +0000 (+0000)
Subject: [project @ 2005-12-19 11:00:40 by simonpj]
X-Git-Tag: final_switch_to_darcs,_this_repo_is_now_live~81
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=93ba4d5bd8076849d966b2eb79185034ff509f7e;p=ghc-hetmet.git

[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
--- 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)