Changes between Version 10 and Version 11 of GhcKinds


Ignore:
Timestamp:
Aug 10, 2011 11:42:41 AM (4 years ago)
Author:
ia0
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v10 v11  
    1919The implementation will follow these steps (in bold is the first phase (parser, renamer, type checker, ...) that does not work): 
    2020  1. Promotion of Haskell98 data types of kind star: {{{*}}}. 
    21   1. '''[]''' Kind polymorphism in Core. 
    22   1. Promotion of Haskell98 data types of first order kind: {{{* -> .. * -> *}}}. 
     21  1. '''[parser]''' Promotion of Haskell98 data types of first order kind: {{{* -> .. * -> *}}}. It involves kind polymorphism. 
    2322  1. Kind polymorphic data types, type families, and type classes. 
    2423  1. Singleton types.