diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-05-31 23:32:00 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-25 03:54:40 -0400 |
| commit | 0d61f866b43d3385be3a8521ba24503c13e8d404 (patch) | |
| tree | cf97fd3548853a1f4a01ebd796d822d50c3a9375 /compiler/GHC/Tc/Gen/Expr.hs-boot | |
| parent | 4acc2934952f4849c2082015d9bebef446d46545 (diff) | |
| download | haskell-0d61f866b43d3385be3a8521ba24503c13e8d404.tar.gz | |
Expunge GhcTcId
GHC.Hs.Extension had
type GhcPs = GhcPass 'Parsed
type GhcRn = GhcPass 'Renamed
type GhcTc = GhcPass 'Typechecked
type GhcTcId = GhcTc
The last of these, GhcTcId, is a vestige of the past.
This patch expunges it from GHC.
Diffstat (limited to 'compiler/GHC/Tc/Gen/Expr.hs-boot')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Expr.hs-boot | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/compiler/GHC/Tc/Gen/Expr.hs-boot b/compiler/GHC/Tc/Gen/Expr.hs-boot index f4b12e28a5..0676799b11 100644 --- a/compiler/GHC/Tc/Gen/Expr.hs-boot +++ b/compiler/GHC/Tc/Gen/Expr.hs-boot @@ -5,28 +5,28 @@ import GHC.Tc.Utils.TcType ( TcRhoType, TcSigmaType, SyntaxOpType, ExpType, ExpR import GHC.Tc.Types ( TcM ) import GHC.Tc.Types.Origin ( CtOrigin ) import GHC.Core.Type ( Mult ) -import GHC.Hs.Extension ( GhcRn, GhcTcId ) +import GHC.Hs.Extension ( GhcRn, GhcTc ) tcCheckPolyExpr :: LHsExpr GhcRn -> TcSigmaType - -> TcM (LHsExpr GhcTcId) + -> TcM (LHsExpr GhcTc) tcMonoExpr, tcMonoExprNC :: LHsExpr GhcRn -> ExpRhoType - -> TcM (LHsExpr GhcTcId) + -> TcM (LHsExpr GhcTc) tcCheckMonoExpr, tcCheckMonoExprNC :: LHsExpr GhcRn -> TcRhoType - -> TcM (LHsExpr GhcTcId) + -> TcM (LHsExpr GhcTc) -tcExpr :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTcId) +tcExpr :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc) -tcInferSigma :: LHsExpr GhcRn -> TcM (LHsExpr GhcTcId, TcSigmaType) +tcInferSigma :: LHsExpr GhcRn -> TcM (LHsExpr GhcTc, TcSigmaType) tcInferRho, tcInferRhoNC :: - LHsExpr GhcRn -> TcM (LHsExpr GhcTcId, TcRhoType) + LHsExpr GhcRn -> TcM (LHsExpr GhcTc, TcRhoType) tcSyntaxOp :: CtOrigin -> SyntaxExprRn @@ -43,4 +43,4 @@ tcSyntaxOpGen :: CtOrigin -> TcM (a, SyntaxExprTc) -tcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTcId) +tcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTc) |