diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-11-21 18:50:40 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-25 01:05:46 -0500 |
| commit | e33412d078c544b19b88cd19bfb3b13a71099378 (patch) | |
| tree | d9f549f41f93d58fd30768ce4b884aa50495d7a7 /compiler/GHC/Iface | |
| parent | 7c65687e5b14eb2f496c25198ddf761546bc4675 (diff) | |
| download | haskell-e33412d078c544b19b88cd19bfb3b13a71099378.tar.gz | |
Misc cleanup
* Remove `getTag_RDR` (unused), `tidyKind` and `tidyOpenKind`
(already available as `tidyType` and `tidyOpenType`)
* Remove Note [Explicit Case Statement for Specificity].
Since 0a709dd9876e40 we require GHC 8.10 for bootstrapping.
* Change the warning to `cmpAltCon` to a panic.
This shouldn't happen. If it ever does, the code was wrong anyway:
it shouldn't always return `LT`, but rather `LT` in one case
and `GT` in the other case.
* Rename `verifyLinearConstructors` to `verifyLinearFields`
* Fix `Note [Local record selectors]` which was not referenced
* Remove vestiges of `type +v`
* Minor fixes to StaticPointers documentation, part of #15603
Diffstat (limited to 'compiler/GHC/Iface')
| -rw-r--r-- | compiler/GHC/Iface/Type.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/compiler/GHC/Iface/Type.hs b/compiler/GHC/Iface/Type.hs index 407b474bac..2427bba019 100644 --- a/compiler/GHC/Iface/Type.hs +++ b/compiler/GHC/Iface/Type.hs @@ -862,10 +862,8 @@ pprIfaceTyConBinders suppress_sig = sep . map go -- The above case is rare. (See Note [AnonTCB InvisArg] in GHC.Core.TyCon.) -- Should we print these differently? NamedTCB Required -> ppr_bndr (UseBndrParens True) - -- See Note [Explicit Case Statement for Specificity] - NamedTCB (Invisible spec) -> case spec of - SpecifiedSpec -> char '@' <> ppr_bndr (UseBndrParens True) - InferredSpec -> char '@' <> braces (ppr_bndr (UseBndrParens False)) + NamedTCB Specified -> char '@' <> ppr_bndr (UseBndrParens True) + NamedTCB Inferred -> char '@' <> braces (ppr_bndr (UseBndrParens False)) where ppr_bndr = pprIfaceTvBndr bndr suppress_sig |