X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMatches.lhs;h=3457f32ce07509226bdef966681cae71a6162933;hp=37b8cbe3b01589ffe6937e3b5077885d65fe6e4c;hb=fb6d198f498d4e325a540f28aaa6e1d1530839c3;hpb=cf4d037c05371455b7ae68c2b61215bd691e137a diff --git a/compiler/typecheck/TcMatches.lhs b/compiler/typecheck/TcMatches.lhs index 37b8cbe..3457f32 100644 --- a/compiler/typecheck/TcMatches.lhs +++ b/compiler/typecheck/TcMatches.lhs @@ -25,7 +25,6 @@ import TcType import TcBinds import TcUnify import TcSimplify -import MkCore import Name import TysWiredIn import PrelNames @@ -524,7 +523,7 @@ tcDoStmt ctxt (RecStmt { recS_stmts = stmts, recS_later_ids = later_names = do { let tup_names = rec_names ++ filterOut (`elem` rec_names) later_names ; tup_elt_tys <- newFlexiTyVarTys (length tup_names) liftedTypeKind ; let tup_ids = zipWith mkLocalId tup_names tup_elt_tys - tup_ty = mkCoreTupTy tup_elt_tys + tup_ty = mkBoxedTupleTy tup_elt_tys ; tcExtendIdEnv tup_ids $ do { ((stmts', (ret_op', tup_rets)), stmts_ty)