Changes between Version 13 and Version 14 of GhcKinds


Ignore:
Timestamp:
Aug 19, 2011 8:14:30 AM (3 years ago)
Author:
ia0
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v13 v14  
    3131  * Allow promoted data and type constructors: 
    3232    * Extend {{{TyCon}}} with {{{PromotedDataTyCon}}} to have data constructors in type constructors. 
    33     * Extend the parser, renamer, and type and kind checker accordingly. 
     33    * Extend the parser, renamer, type and kind checker, and core-lint accordingly. 
    3434  * Rename {{{KindVar}}} which is used during type checking into {{{MetaKindVar}}}. 
    3535