Changes between Version 27 and Version 28 of GhcKinds


Ignore:
Timestamp:
Dec 20, 2011 2:00:32 PM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v27 v28  
    7171'''Future work:''' promote type synonyms to kind synonyms. 
    7272 
     73 
     74= Better support for kinds in Template Haskell = 
     75 
     76Currently there is no support for promoted datatypes, or the kind `Constraint`, in Template Haskell. 
     77 
     78'''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. 
     79 
     80 
    7381= Kind-polymorphic `Typeable` = 
    7482 
     
    170178}}} 
    171179In this instance, `t` has kind `k -> *` and `a` has kind `k`. 
     180 
    172181 
    173182= Generalized Algebraic Data Kinds (GADKs) = 
     
    219228coercions. While this would still require some implementation effort, it 
    220229should be "doable". 
    221  
    222 = Better support for kinds in Template Haskell = 
    223  
    224 Currently there is no support for promoted datatypes, or the kind `Constraint`, in Template Haskell. 
    225  
    226 '''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.