Changes between Version 21 and Version 22 of Commentary


Ignore:
Timestamp:
Sep 11, 2006 1:41:59 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v21 v22  
    1919     * Names: [wiki:Commentary/Compiler/RdrNameType RdrName and OccName], [wiki:Commentary/Compiler/NameType Name] 
    2020     * [wiki:Commentary/Compiler/EntityTypes Entities]: variables, type constructors, data constructors, and classes. 
    21      * Types: Type 
     21     * Types: [wiki:Commentary/Compiler/TypeType Type and Kind] 
    2222     * [wiki:Commentary/Compiler/CoreSynType The core language]. 
    2323     * Cmm.