... | ... | @@ -15,7 +15,7 @@ For each kind of Haskell entity (identifier, type variable, type constructor, da |
|
|
|
|
|
All of these entities have a `Name`, but that's about all they have in common. However they are sometimes treated uniformly:
|
|
|
|
|
|
- A **`TyThing`** ([compiler/types/TypeRep.hs](https://gitlab.haskell.org/ghc/ghc/blob/master/compiler/types/TypeRep.hs)) is simply the sum of all four:
|
|
|
- A **`TyThing`** ([compiler/GHC/Core/TyCo/Rep.hs](https://gitlab.haskell.org/ghc/ghc/blob/master/compiler/GHC/Core/TyCo/Rep.hs)) is simply the sum of all four:
|
|
|
|
|
|
```wiki
|
|
|
data TyThing = AnId Id
|
... | ... | |