Changes between Version 1 and Version 2 of GhcKinds/KindsWithoutData


Ignore:
Timestamp:
Jun 19, 2012 4:23:45 PM (3 years 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 ...`