-- The above warning supression flag is a temporary kludge.
-- While working on this module you are encouraged to remove it and fix
-- any warnings in the module. See
--- http://hackage.haskell.org/trac/ghc/wiki/CodingStyle#Warnings
+-- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
-- for details
module TcArrows ( tcProc ) where
import TcPat
import TcUnify
import TcRnMonad
+import Coercion
import Inst
import Name
import TysWiredIn
import SrcLoc
import Outputable
import Util
+
+import Control.Monad
\end{code}
%************************************************************************
\begin{code}
tcProc :: InPat Name -> LHsCmdTop Name -- proc pat -> expr
-> BoxyRhoType -- Expected type of whole proc expression
- -> TcM (OutPat TcId, LHsCmdTop TcId)
+ -> TcM (OutPat TcId, LHsCmdTop TcId, CoercionI)
tcProc pat cmd exp_ty
= newArrowScope $
- do { (exp_ty1, res_ty) <- boxySplitAppTy exp_ty
- ; (arr_ty, arg_ty) <- boxySplitAppTy exp_ty1
+ do { ((exp_ty1, res_ty), coi) <- boxySplitAppTy exp_ty
+ ; ((arr_ty, arg_ty), coi1) <- boxySplitAppTy exp_ty1
; let cmd_env = CmdEnv { cmd_arr = arr_ty }
- ; (pat', cmd') <- tcLamPat pat arg_ty (emptyRefinement, res_ty) $
+ ; (pat', cmd') <- tcProcPat pat arg_ty (emptyRefinement, res_ty) $
tcCmdTop cmd_env cmd []
- ; return (pat', cmd') }
+ ; let res_coi = mkTransCoI coi (mkAppTyCoI exp_ty1 coi1 res_ty IdCo)
+ ; return (pat', cmd', res_coi)
+ }
\end{code}
; return (HsLet binds' (L body_loc body')) }
tc_cmd env in_cmd@(HsCase scrut matches) (stk, res_ty)
- = addErrCtxt (cmdCtxt in_cmd) $
- addErrCtxt (caseScrutCtxt scrut) (
- tcInferRho scrut
- ) `thenM` \ (scrut', scrut_ty) ->
- tcMatchesCase match_ctxt scrut_ty matches res_ty `thenM` \ matches' ->
- returnM (HsCase scrut' matches')
+ = addErrCtxt (cmdCtxt in_cmd) $ do
+ (scrut', scrut_ty) <- addErrCtxt (caseScrutCtxt scrut) $
+ tcInferRho scrut
+ matches' <- tcMatchesCase match_ctxt scrut_ty matches res_ty
+ return (HsCase scrut' matches')
where
match_ctxt = MC { mc_what = CaseAlt,
mc_body = mc_body }
where
n_pats = length pats
stk' = drop n_pats cmd_stk
- match_ctxt = LambdaExpr -- Maybe KappaExpr?
+ match_ctxt = (LambdaExpr :: HsMatchContext Name) -- Maybe KappaExpr?
pg_ctxt = PatGuard match_ctxt
tc_grhss (GRHSs grhss binds) res_ty
-- the s1..sm and check each cmd
; cmds' <- mapM (tc_cmd w_tv) cmds_w_tys
- ; returnM (HsArrForm (noLoc $ HsWrap (WpTyLam w_tv)
+ ; return (HsArrForm (noLoc $ HsWrap (WpTyLam w_tv)
(unLoc $ mkHsDictLet inst_binds expr'))
fixity cmds')
}