module TcExpr where
-tcExpr ::
- RnHsSyn.RenamedHsExpr
+tcCheckSigma ::
+ HsExpr.LHsExpr Name.Name
-> TcType.TcType
- -> TcRnTypes.TcM TcHsSyn.TcExpr
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
-tcMonoExpr ::
- RnHsSyn.RenamedHsExpr
+tcCheckRho ::
+ HsExpr.LHsExpr Name.Name
-> TcType.TcType
- -> TcRnTypes.TcM TcHsSyn.TcExpr
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcMonoExpr ::
+ HsExpr.LHsExpr Name.Name
+ -> TcUnify.Expected TcType.TcType
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)