Changes between Version 11 and Version 12 of GhcKinds/KindsWithoutData


Ignore:
Timestamp:
Apr 2, 2013 1:48:36 PM (2 years ago)
Author:
heisenbug
Comment:

suggest kind only syntax

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindsWithoutData

    v11 v12  
    6666 
    6767Currently we are planning to implement the second solution. If we do get `* :: *` other things will break due to name clashes, so that shouldn't prevent us from going ahead now. This ticket to track this request is #6024. 
     68 
     69== Thoughts (Gabor Greif) == 
     70 
     71I'd prefer writing 
     72{{{ 
     73'data Universe = Sum  Universe Universe 
     74               | Prod Universe Universe 
     75               | K * 
     76}}} 
     77over `data kind` to only obtain the `Universe` kind and `Sum`, `Prod` and `K` types. This would extrapolate the `'Universe` notation for grabbing the kind when a type also exists with the same name. 
     78I am also a bit less enthusiastic with `data only`. Why not `data data`? (Still does not feel right.)