Changes between Version 30 and Version 31 of GhcKinds


Ignore:
Timestamp:
Jun 7, 2012 7:14:06 AM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v30 v31  
    7676 
    7777 
    78 = Better support for kinds in Template Haskell = 
    79  
    80 Currently there is no support for promoted datatypes, or the kind `Constraint`, in Template Haskell. 
    81  
    82 '''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. 
    83  
    8478 
    8579