X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcPat.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcPat.lhs;h=2ab8d199887e36c19c5730ede7d1f17c1c4c77db;hb=04feba252e40d16101b92948cd1e13c7bc1f3062;hp=4244763f6501518b48916eeada8ce0f566711d10;hpb=fe108ff1b0d4b52679ba6deddadf5d2fb3fa8f22;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 4244763..2ab8d19 100644
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -336,7 +336,7 @@ tc_pat pstate (PArrPat pats _) pat_ty thing_inside
 	; ifM (null pats) (zapToMonotype pat_ty)	-- c.f. ExplicitPArr in TcExpr
 	; return (PArrPat pats' elt_ty, pats_tvs, res) }
 
-tc_pat pstate (TuplePat pats boxity) pat_ty thing_inside
+tc_pat pstate (TuplePat pats boxity _) pat_ty thing_inside
   = do	{ arg_tys <- boxySplitTyConApp (tupleTyCon boxity (length pats)) pat_ty
 	; (pats', pats_tvs, res) <- tc_lpats pstate pats arg_tys thing_inside
 
@@ -344,7 +344,7 @@ tc_pat pstate (TuplePat pats boxity) pat_ty thing_inside
 	-- so that we can experiment with lazy tuple-matching.
 	-- This is a pretty odd place to make the switch, but
 	-- it was easy to do.
-	; let unmangled_result = TuplePat pats' boxity
+	; let unmangled_result = TuplePat pats' boxity pat_ty
 	      possibly_mangled_result
 	        | opt_IrrefutableTuples && isBoxed boxity = LazyPat (noLoc unmangled_result)
 	        | otherwise			          = unmangled_result