Changes between Version 22 and Version 23 of GhcKinds


Ignore:
Timestamp:
Dec 19, 2011 1:46:57 PM (4 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v22 v23  
    44
    55= Explicit kind variables =
     6
     7Currently we do not handle kind variables in the source language. So the following is invalid, for instance:
     8{{{
     9type family Apply (f :: k1 -> k2) (a :: k1)
     10}}}
     11
     12Naturally we want to allow this. The syntax we propose is the one above, as described in the paper.
     13(At least until ExplicitTypeApplication gets implemented.)
     14
     15'''Future work:''' allow kind variable annotation.
     16Since the core language has all the support for kind variables, this shouldn't be too hard.
    617
    718= Kind defaulting in type families =