Changes between Version 22 and Version 23 of GhcKinds


Ignore:
Timestamp:
Dec 19, 2011 1:46:57 PM (2 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 =