Changes between Version 1 and Version 2 of GhcKinds/KindsWithoutData

Show
Ignore:
Timestamp:
06/19/12 09:23:45 (11 months ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GhcKinds/KindsWithoutData

    v1 v2  
    22 
    33 * `data kind K ...` 
     4 
     5 * Allow `*` on `data kind`s? Or maybe `Type`, or `Star`. 
    46  
    57 * Perhaps also `data type D ...`