Changes between Version 22 and Version 23 of Commentary


Ignore:
Timestamp:
Sep 11, 2006 1:50:19 PM (9 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v22 v23  
    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: [wiki:Commentary/Compiler/TypeType Type and Kind] 
     21     * Types: [wiki:Commentary/Compiler/TypeType Type and Kind], [wiki:Commentary/Compiler/FC equality types and coercions]. 
    2222     * [wiki:Commentary/Compiler/CoreSynType The core language]. 
    2323     * Cmm.