Changes between Version 9 and Version 10 of Commentary/Compiler/EntityTypes
- Timestamp:
- 04/23/07 02:22:40 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Commentary/Compiler/EntityTypes
v9 v10 6 6 7 7 For each kind of Haskell entity (identifier, type variable, type constructor, data constructor, class) GHC has a data type to represent it. Here they are: 8 * '''Type constructors''' are repres tented by the {{{TyCon}}} type ([[GhcFile(compiler/types/TyCon.lhs)]]).9 * '''Classes''' are repres tented by the {{{Class}}} type ([[GhcFile(compiler/types/Class.lhs)]]).10 * '''Data constructors''' are repres tented by the {{{DataCon}}} type ([[GhcFile(compiler/basicTypes/DataCon.lhs)]]).8 * '''Type constructors''' are represented by the {{{TyCon}}} type ([[GhcFile(compiler/types/TyCon.lhs)]]). 9 * '''Classes''' are represented by the {{{Class}}} type ([[GhcFile(compiler/types/Class.lhs)]]). 10 * '''Data constructors''' are represented by the {{{DataCon}}} type ([[GhcFile(compiler/basicTypes/DataCon.lhs)]]). 11 11 * '''Term variables''' {{{Id}}} and '''type variables''' {{{TyVar}}} are both represented by the {{{Var}}} type ([[GhcFile(compiler/basicTypes/Var.lhs)]]). 12 12 All of these entities have a {{{Name}}}, but that's about all they have in common. However they are sometimes treated uniformly:
