Changes between Version 23 and Version 24 of GhcKinds


Ignore:
Timestamp:
Dec 19, 2011 1:50:53 PM (3 years 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.