Change TH syntax to allow promoted kinds and kind polymorphism
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 18 May 2012 09:06:17 +0000 (10:06 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 18 May 2012 09:06:17 +0000 (10:06 +0100)
commit5d36a74d115cb7c4c12a6c3bcc369e320fe1d1b3
tree54280dc5e42c0e152ce3f478e38dcb269c154a6d
parent6c0b59b8d9db5ce12e5b566a2c3cf6889a00aca4
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
Language/Haskell/TH/Lib.hs
Language/Haskell/TH/Ppr.hs
Language/Haskell/TH/Syntax.hs