Simon Peyton Jones pushed to branch wip/substitution-via-mapper at Glasgow Haskell Compiler / GHC
Commits:
-
41fc6d35
by Simon Peyton Jones at 2026-09-08T11:08:29+01:00
1 changed file:
Changes:
| ... | ... | @@ -105,7 +105,7 @@ import GHC.Core.TyCo.Rep |
| 105 | 105 | import GHC.Core.TyCo.FVs
|
| 106 | 106 | import GHC.Core.Coercion.Axiom
|
| 107 | 107 | |
| 108 | --- import GHC.Builtin.Names
|
|
| 108 | +import GHC.Builtin.KnownKeys
|
|
| 109 | 109 | import GHC.Builtin.WiredIn.Prim( tYPETyCon, cONSTRAINTTyCon )
|
| 110 | 110 | |
| 111 | 111 | import GHC.Types.Basic
|