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/Utils/Instantiate.hs | |
| 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/Utils/Instantiate.hs')
| -rw-r--r-- | compiler/GHC/Tc/Utils/Instantiate.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/GHC/Tc/Utils/Instantiate.hs b/compiler/GHC/Tc/Utils/Instantiate.hs index 827801a850..e6f1917331 100644 --- a/compiler/GHC/Tc/Utils/Instantiate.hs +++ b/compiler/GHC/Tc/Utils/Instantiate.hs @@ -90,7 +90,7 @@ newMethodFromName :: CtOrigin -- ^ why do we need this? -> Name -- ^ name of the method -> [TcRhoType] -- ^ types with which to instantiate the class - -> TcM (HsExpr GhcTcId) + -> TcM (HsExpr GhcTc) -- ^ Used when 'Name' is the wired-in name for a wired-in class method, -- so the caller knows its type for sure, which should be of form -- @@ -464,7 +464,7 @@ cases (the rest are caught in lookupInst). newOverloadedLit :: HsOverLit GhcRn -> ExpRhoType - -> TcM (HsOverLit GhcTcId) + -> TcM (HsOverLit GhcTc) newOverloadedLit lit@(OverLit { ol_val = val, ol_ext = rebindable }) res_ty | not rebindable @@ -493,7 +493,7 @@ newOverloadedLit newNonTrivialOverloadedLit :: CtOrigin -> HsOverLit GhcRn -> ExpRhoType - -> TcM (HsOverLit GhcTcId) + -> TcM (HsOverLit GhcTc) newNonTrivialOverloadedLit orig lit@(OverLit { ol_val = val, ol_witness = HsVar _ (L _ meth_name) , ol_ext = rebindable }) res_ty @@ -557,7 +557,7 @@ just use the expression inline. tcSyntaxName :: CtOrigin -> TcType -- ^ Type to instantiate it at -> (Name, HsExpr GhcRn) -- ^ (Standard name, user name) - -> TcM (Name, HsExpr GhcTcId) + -> TcM (Name, HsExpr GhcTc) -- ^ (Standard name, suitable expression) -- USED ONLY FOR CmdTop (sigh) *** -- See Note [CmdSyntaxTable] in GHC.Hs.Expr |