Changes between Version 17 and Version 18 of GhcKinds


Ignore:
Timestamp:
Dec 15, 2011 11:06:31 AM (4 years 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) =