Changes between Version 14 and Version 15 of GhcKinds/KindsWithoutData


Ignore:
Timestamp:
Sep 14, 2013 8:47:30 PM (2 years 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 ==