Changes between Version 15 and Version 16 of GhcKinds


Ignore:
Timestamp:
Aug 31, 2011 9:07:26 AM (3 years ago)
Author:
ia0
Comment:

kind polymorphism

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v15 v16  
    2121  1. Promotion of Haskell98 data types of first order kind: {{{* -> .. * -> *}}}. It involves kind polymorphism. 
    2222  1. '''[theory design]''' Kind polymorphic data types, type families, and type classes. 
     23     This step needs some design choices about [wiki:GhcKinds/KindPolymorphism kind polymorphism]. 
    2324  1. Singleton types. 
    2425  1. Built-in types.