Changes between Version 27 and Version 28 of GhcKinds


Ignore:
Timestamp:
Dec 20, 2011 2:00:32 PM (4 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.