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


Ignore:
Timestamp:
Oct 9, 2008 2:30:51 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/EntityTypes

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