import HsSyn
import TcRnMonad
-import Inst
import TcEnv
import TcPat
import TcMType
import TcUnify
import Name
import TysWiredIn
-import PrelNames
import Id
import TyCon
import TysPrim
; checkArgs fun_name matches
; (wrap_gen, (wrap_fun, group))
- <- tcGen (SigSkol (FunSigCtxt fun_name)) exp_ty $ \ _ exp_rho ->
+ <- tcGen (FunSigCtxt fun_name) exp_ty $ \ _ exp_rho ->
-- Note [Polymorphic expected type for tcMatchesFun]
matchFunTys herald arity exp_rho $ \ pat_tys rhs_ty ->
tcMatches match_ctxt pat_tys rhs_ty matches
tcMatchLambda :: MatchGroup Name -> TcRhoType -> TcM (HsWrapper, MatchGroup TcId)
tcMatchLambda match res_ty
- = matchFunTys doc n_pats res_ty $ \ pat_tys rhs_ty ->
+ = matchFunTys herald n_pats res_ty $ \ pat_tys rhs_ty ->
tcMatches match_ctxt pat_tys rhs_ty match
where
n_pats = matchGroupArity match
- doc = sep [ ptext (sLit "The lambda expression")
- <+> quotes (pprSetDepth (PartWay 1) $
+ herald = sep [ ptext (sLit "The lambda expression")
+ <+> quotes (pprSetDepth (PartWay 1) $
pprMatches (LambdaExpr :: HsMatchContext Name) match),
-- The pprSetDepth makes the abstraction print briefly
- ptext (sLit "has") <+> speakNOf n_pats (ptext (sLit "argument"))]
+ ptext (sLit "has")]
match_ctxt = MC { mc_what = LambdaExpr,
mc_body = tcBody }
\end{code}
tcBody body
; return (HsDo DoExpr stmts' body' res_ty) }
-tcDoStmts ctxt@(MDoExpr _) stmts body res_ty
- = do { (coi, (m_ty, elt_ty)) <- matchExpectedAppTy res_ty
- ; let res_ty' = mkAppTy m_ty elt_ty -- The matchExpected consumes res_ty
- tc_rhs rhs = tcInfer $ \ pat_ty ->
- tcMonoExpr rhs (mkAppTy m_ty pat_ty)
-
- ; (stmts', body') <- tcStmts ctxt (tcMDoStmt tc_rhs) stmts res_ty' $
+tcDoStmts MDoExpr stmts body res_ty
+ = do { (stmts', body') <- tcStmts MDoExpr tcDoStmt stmts res_ty $
tcBody body
-
- ; let names = [mfixName, bindMName, thenMName, returnMName, failMName]
- ; insts <- mapM (\name -> newMethodFromName DoOrigin name m_ty) names
- ; return $ mkHsWrapCoI coi $
- HsDo (MDoExpr (names `zip` insts)) stmts' body' res_ty' }
+ ; return (HsDo MDoExpr stmts' body' res_ty) }
tcDoStmts ctxt _ _ _ = pprPanic "tcDoStmts" (pprStmtContext ctxt)
; return (RecStmt { recS_stmts = stmts', recS_later_ids = later_ids
, recS_rec_ids = rec_ids, recS_ret_fn = ret_op'
, recS_mfix_fn = mfix_op', recS_bind_fn = bind_op'
- , recS_rec_rets = tup_rets, recS_dicts = emptyTcEvBinds }, thing)
+ , recS_rec_rets = tup_rets }, thing)
}}
tcDoStmt _ stmt _ _
; thing <- thing_inside res_ty
; return (ExprStmt rhs' noSyntaxExpr elt_ty, thing) }
-tcMDoStmt tc_rhs ctxt (RecStmt stmts laterNames recNames _ _ _ _ _) res_ty thing_inside
+tcMDoStmt tc_rhs ctxt (RecStmt { recS_stmts = stmts, recS_later_ids = laterNames
+ , recS_rec_ids = recNames }) res_ty thing_inside
= do { rec_tys <- newFlexiTyVarTys (length recNames) liftedTypeKind
; let rec_ids = zipWith mkLocalId recNames rec_tys
; tcExtendIdEnv rec_ids $ do
-- some of them with polymorphic things with the same Name
-- (see note [RecStmt] in HsExpr)
--- Need the bindLocalMethods if we re-add Method constraints
--- ; lie_binds <- bindLocalMethods lie later_ids
- ; let lie_binds = emptyTcEvBinds
-
- ; return (RecStmt stmts' later_ids rec_ids noSyntaxExpr noSyntaxExpr noSyntaxExpr rec_rets lie_binds, thing)
+ ; return (RecStmt stmts' later_ids rec_ids noSyntaxExpr noSyntaxExpr noSyntaxExpr rec_rets, thing)
}}
tcMDoStmt _ _ stmt _ _