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.)