Changes between Version 3 and Version 4 of GhcKinds/KindsWithoutData


Ignore:
Timestamp:
Jun 27, 2012 1:16:11 PM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindsWithoutData

    v3 v4  
    4141
    4242By using `data kind`, we tell GHC that we are only interested in the `Universe` kind, and not the datatype.
    43 Consequently, `Sum`, `Prod`, and `K` will be types only, and not constructors.
     43Consequently, `Sum`, `Prod`, and `K` will be types only, and not constructors. Note however that this would
     44imply being able to parse kinds (`*`, at the very least) on the right-hand side of data kind declarations.
     45To avoid this, we propose instead using a kind `Type` (or `Star`), defined in `GHC.Exts`, that acts as a
     46synonym of `*`.
     47
    4448
    4549= Notes =