Changes between Version 31 and Version 32 of GhcKinds


Ignore:
Timestamp:
Jun 7, 2012 12:18:25 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v31 v32  
    88 * [wiki:GhcKinds/KindPolymorphism]
    99 * [wiki:GhcKinds/PolyTypeable] A kind-polymorphic version of the `Typeable` class.
     10 * [wiki:ExplicitTypeApplication] proposes a syntax for explicit kind application
    1011
    1112
    12 = Explicit kind variables =
    1313
    14 Currently we do not handle kind variables in the source language. So the following is invalid, for instance:
    15 {{{
    16 type family Apply (f :: k1 -> k2) (a :: k1)
    17 }}}
    18 
    19 Naturally we want to allow this. The syntax we propose is the one above, as described in the paper.
    20 (At least until ExplicitTypeApplication gets implemented.)
    21 
    22 '''Future work:''' allow kind variable annotation.
    23 Since the core language has all the support for kind variables, this shouldn't be too hard.
    2414
    2515