Changes between Version 31 and Version 32 of GhcKinds


Ignore:
Timestamp:
Jun 7, 2012 12:18:25 PM (2 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