Changes between Version 17 and Version 18 of GhcKinds

Show
Ignore:
Timestamp:
12/15/11 03:06:31 (17 months ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GhcKinds

    v17 v18  
    1111= Kind synonyms (from type synonym promotion) = 
    1212 
     13At the moment we are not promoting type synonyms, i.e. the following is invalid: 
     14{{{ 
     15data Nat = Ze | Su Nat 
     16type Nat2 = Nat 
     17 
     18type family Add (m :: Nat2) (n :: Nat2) :: Nat2 
     19}}} 
     20 
     21'''Future work:''' promote type synonyms to kind synonyms. 
     22 
    1323= Generalized Algebraic Data Kinds (GADKs) =