import TcBinds
import TcUnify
import TcSimplify
-import MkCore
import Name
import TysWiredIn
import PrelNames
(HsDo PArrComp stmts' body' (mkPArrTy elt_ty)) }
tcDoStmts DoExpr stmts body res_ty
- = do { (stmts', body') <- tcStmts DoExpr tcDoStmt stmts
- res_ty $
+ = do { (stmts', body') <- tcStmts DoExpr tcDoStmt stmts res_ty $
tcBody body
; return (HsDo DoExpr stmts' body' res_ty) }
= 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)