Record the type in TuplePat (necessary for GADTs)

[ghc-hetmet.git] / ghc / compiler / typecheck / TcExpr.lhs

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index f0858f3..745de00 100644 (file)
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -40,14 +40,12 @@ import TcMatches    ( tcMatchesCase, tcMatchLambda, tcDoStmts, TcMatchCtxt(..) )
 import TcHsType                ( tcHsSigType, UserTypeCtxt(..) )
 import TcPat           ( tcOverloadedLit, badFieldCon )
 import TcMType         ( tcInstTyVars, newFlexiTyVarTy, newBoxyTyVars, readFilledBox, 
-                         tcInstBoxyTyVar, tcInstTyVar, zonkTcType )
+                         tcInstBoxyTyVar, tcInstTyVar )
 import TcType          ( TcType, TcSigmaType, TcRhoType, 
                          BoxySigmaType, BoxyRhoType, ThetaType,
-                         tcSplitFunTys, mkTyVarTys, mkFunTys, 
-                         tcMultiSplitSigmaTy, tcSplitFunTysN, 
+                         mkTyVarTys, mkFunTys, tcMultiSplitSigmaTy, tcSplitFunTysN, 
                          isSigmaTy, mkFunTy, mkTyConApp, isLinearPred,
                          exactTyVarsOfType, exactTyVarsOfTypes, mkTyVarTy, 
-                         tidyOpenType,
                          zipTopTvSubst, zipOpenTvSubst, substTys, substTyVar, lookupTyVar
                        )
 import Kind            ( argTypeKind )