Changes between Version 14 and Version 15 of GhcKinds/KindsWithoutData


Ignore:
Timestamp:
Sep 14, 2013 8:47:30 PM (7 months ago)
Author:
elliottt
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindsWithoutData

    v14 v15  
    4646not promoted to a type. 
    4747 
    48 == Other Extensions == 
     48== Caveats == 
    4949 
     50 
     51=== Star in Star === 
    5052If, in the future, we make `* :: *`, we will no longer have separation of 
    5153types and kinds, so we won't be able to make such fine distinctions. 
     54 
     55 
     56=== Recursive Groups === 
     57 
     58 
     59=== Kind and Type Namespaces === 
     60As kinds and types currently share a namespace, `data kind` and 
     61`data type` declarations ```in the same module``` can still 
     62conflict.  However, if they are in separate modules, this can be controlled by 
     63use of the module system. 
     64 
    5265 
    5366== Alternative Solutions ==