Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Commentary
Compiler
entity types
entity types
· Changes
Page history
Edit Commentary/Compiler/EntityTypes
authored
Oct 09, 2008
by
Simon Peyton Jones
Hide whitespace changes
Inline
Side-by-side
commentary/compiler/entity-types.md
View page @
a22ea3f5
...
@@ -14,7 +14,7 @@ For each kind of Haskell entity (identifier, type variable, type constructor, da
...
@@ -14,7 +14,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:
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.lhs
](
/trac/ghc/browser/ghc/compiler/types/TypeRep.lhs
)
) is simply the sum of all four:
-
A
**
`
TyThing
`
**
(
[
compiler/types/TypeRep.lhs
](
/trac/ghc/browser/ghc/compiler/types/TypeRep.lhs
)
) is simply the sum of all four:
```
wiki
```
wiki
data TyThing = AnId Id
data TyThing = AnId Id
...
...