[commit: template-haskell] master: Change TH syntax to allow promoted kinds and kind polymorphism (5d36a74)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/packages/template-haskell

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/5d36a74d115cb7c4c12a6c3bcc369e320fe1d1b3

>---------------------------------------------------------------

commit 5d36a74d115cb7c4c12a6c3bcc369e320fe1d1b3
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri May 18 10:06:17 2012 +0100

    Change TH syntax to allow promoted kinds and kind polymorphism
    
    The big change here is that Kind is no longer a distinct type,
    it's just a type synonym for Type.  This reflects exactly what
    happens in the HsSyn world, and avoids a great deal of duplication
    between types and kinds.   But it is a breaking for (the few)
    TH users who were using the constructors for Kind.
    
    Thanks to lunaris and Richard Eisenberg for doing the work.

 Language/Haskell/TH.hs        |    8 +++++-
 Language/Haskell/TH/Lib.hs    |   40 ++++++++++++++++++++++++---
 Language/Haskell/TH/Ppr.hs    |   38 +++++++++++++++------------
 Language/Haskell/TH/Syntax.hs |   58 ++++++++++++++++++++++++++++++++++++-----
 4 files changed, 114 insertions(+), 30 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 5d36a74d115cb7c4c12a6c3bcc369e320fe1d1b3