diff options
Diffstat (limited to 'compiler/GHC/Tc/Gen/Expr.hs')
-rw-r--r-- | compiler/GHC/Tc/Gen/Expr.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/GHC/Tc/Gen/Expr.hs b/compiler/GHC/Tc/Gen/Expr.hs index 477c8eaa1d..954403f7ae 100644 --- a/compiler/GHC/Tc/Gen/Expr.hs +++ b/compiler/GHC/Tc/Gen/Expr.hs @@ -116,7 +116,7 @@ tcCheckPolyExprNC expr res_ty = tcPolyExprNC expr (mkCheckExpType res_ty) -- These versions take an ExpType tcPolyExpr, tcPolyExprNC :: LHsExpr GhcRn -> ExpSigmaType - -> TcM (LHsExpr GhcTcId) + -> TcM (LHsExpr GhcTc) tcPolyExpr expr res_ty = addExprCtxt expr $ @@ -146,7 +146,7 @@ tcCheckMonoExpr, tcCheckMonoExprNC :: LHsExpr GhcRn -- Expression to type check -> TcRhoType -- Expected type -- Definitely no foralls at the top - -> TcM (LHsExpr GhcTcId) + -> TcM (LHsExpr GhcTc) tcCheckMonoExpr expr res_ty = tcMonoExpr expr (mkCheckExpType res_ty) tcCheckMonoExprNC expr res_ty = tcMonoExprNC expr (mkCheckExpType res_ty) @@ -154,7 +154,7 @@ tcMonoExpr, tcMonoExprNC :: LHsExpr GhcRn -- Expression to type check -> ExpRhoType -- Expected type -- Definitely no foralls at the top - -> TcM (LHsExpr GhcTcId) + -> TcM (LHsExpr GhcTc) tcMonoExpr expr res_ty = addExprCtxt expr $ |