Changes between Version 10 and Version 11 of Commentary/Compiler/EntityTypes

Timestamp:

10/09/08 07:30:51 (5 years ago)

Author:

simonpj

Comment:

--

Commentary/Compiler/EntityTypes

@@ -11 +11 @@
  * '''Term variables''' {{{Id}}} and '''type variables''' {{{TyVar}}} are both represented by the {{{Var}}} type ([[GhcFile(compiler/basicTypes/Var.lhs)]]).
 All of these entities have a {{{Name}}}, but that's about all they have in common.  However they are sometimes treated uniformly:
- * A '''TyThing''' ([[GhcFile(compiler/types/TypeRep.lhs)]]) is simply the sum of all four:
+ * A '''`TyThing`''' ([[GhcFile(compiler/types/TypeRep.lhs)]]) is simply the sum of all four:
 {{{
 data TyThing = AnId     Id