Changes between Version 5 and Version 6 of Commentary/Compiler/EntityTypes


Ignore:
Timestamp:
Sep 14, 2006 8:13:14 PM (8 years ago)
Author:
nr
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/EntityTypes

    v5 v6  
    1616             | AClass   Class 
    1717}}} 
    18  For example, a type environment is a map from {{{Name}}} to {{{TyThing}}}. 
     18 For example, a type environment is a map from {{{Name}}} to {{{TyThing}}}.  (The fact that a {{{Name}}} tells what name space it belongs to allow, for example, identically named values and types to  sit in a single map.) 
    1919 
    2020All these data types are implemented as a big record of information that tells you everything about the entity.  For example, a {{{TyCon}}} contains a list of its data constructors; a {{{DataCon}}} contains its type (which mentions its {{{TyCon}}}); a {{{Class}}} contains the {{{Id}}}s of all its method selectors; and an {{{Id}}} contains its type (which mentions type constructors and classes).