diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-10-27 14:19:59 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-10-27 22:17:01 +0200 |
| commit | 6b447da26c30889b92c6a06e93f26d8e96b45323 (patch) | |
| tree | dc9c372d4557f16e098d1e4bc85beee2b4257a8a /compiler/GHC/Builtin/Utils.hs | |
| parent | 9cc6c1932dbbd3d27405a8ebe5586a0ef09dd7fd (diff) | |
| download | haskell-wip/T20562.tar.gz | |
Remove record field from Solowip/T20562
Ticket #20562 revealed that Solo, which is a wired-in TyCon, had
a record field that wasn't being added to the type env. Why not?
Because wired-in TyCons don't have record fields.
It's not hard to change that, but it's tiresome for this one use-case,
and it seems easier simply to make `getSolo` into a standalone
function.
On the way I refactored the handling of Solo slightly, to put it
into wiredInTyCons (where it belongs) rather than only in
knownKeyNames
Diffstat (limited to 'compiler/GHC/Builtin/Utils.hs')
| -rw-r--r-- | compiler/GHC/Builtin/Utils.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/compiler/GHC/Builtin/Utils.hs b/compiler/GHC/Builtin/Utils.hs index 16d5096605..9d91b1246d 100644 --- a/compiler/GHC/Builtin/Utils.hs +++ b/compiler/GHC/Builtin/Utils.hs @@ -62,7 +62,6 @@ import GHC.Core.Class import GHC.Core.TyCon import GHC.Types.Avail -import GHC.Types.Basic import GHC.Types.Id import GHC.Types.Name import GHC.Types.Name.Env @@ -130,13 +129,6 @@ knownKeyNames = all_names where all_names = - -- We exclude most tuples from this list—see - -- Note [Infinite families of known-key names] in GHC.Builtin.Names. - -- We make an exception for Solo (i.e., the boxed 1-tuple), since it does - -- not use special syntax like other tuples. - -- See Note [One-tuples] (Wrinkle: Make boxed one-tuple names have known keys) - -- in GHC.Builtin.Types. - tupleTyConName BoxedTuple 1 : tupleDataConName Boxed 1 : concat [ concatMap wired_tycon_kk_names primTyCons , concatMap wired_tycon_kk_names wiredInTyCons , concatMap wired_tycon_kk_names typeNatTyCons |