Changes between Version 23 and Version 24 of GhcKinds

Show
Ignore:
Timestamp:
12/19/11 05:50:53 (18 months ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GhcKinds

    v23 v24  
    180180coercions. While this would still require some implementation effort, it 
    181181should be "doable". 
     182 
     183= Better support for kinds in Template Haskell = 
     184 
     185Currently there is no support for promoted datatypes, or the kind `Constraint`, in Template Haskell. 
     186 
     187'''Future work:''' address [http://hackage.haskell.org/trac/ghc/ticket/5612 #5612], designing and implementing a way for Template Haskell to reify the new kinds.