Changes between Version 4 and Version 5 of GhcKinds


Ignore:
Timestamp:
Aug 4, 2011 12:44:11 PM (4 years ago)
Author:
ia0
Comment:

add a changelog

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v4 v5  
    2121|| Typechecker ||               ||            ||                   || 
    2222 
     23Promotion-related changelog: 
     24  * Change the kind representation in {{{HsSyn}}} from {{{Kind}}} to {{{LHsKind name}}} adding some {{{PostTcKind}}} when necessary. 
     25    * Rename {{{rnHsType}}} into {{{rnHsTyKi}}} and parametrize with a boolean to know if we are renaming a type or a kind. 
     26  * Allow promoted data and type constructors: 
     27    * Extend the parser to allow ticked names like {{{'Zero}}} or {{{'Nat.Succ}}} as atoms in types. 
     28    * Extend the parser to allow ''optionally'' ticked names like {{{Nat}}} or {{{'Bool}}} as atoms in kinds. 
     29    * Extend {{{HsType name}}} with {{{HsPromotedConTy name}}} to represent ticked names. 
     30    * Extend {{{TyCon}}} with {{{PromotedDataTyCon}}} to represent promoted data constructors. 
     31  * Rename {{{KindVar}}} which is used during type checking into {{{MetaKindVar}}}, since we will add kind variables later. 
     32 
     33Not promotion-related changelog: 
     34  * Use {{{HsDocContext}}} instead of {{{SDoc}}} to track renaming context. 
     35 
    2336The stage1 compiler does not work, since there is some {{{undefined}}}s in the typechecker.  So you won't be able to build a stage2 or even run validate.  This is the first priority. 
    2437