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.