Changes between Version 21 and Version 22 of Commentary


Ignore:
Timestamp:
Sep 11, 2006 1:41:59 PM (9 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.