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 =