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)
commit58898eb28ef8b3987046735e13eada6fa7add9f5
tree5c004ceac47d8f3b37bcd0832e7fd0bfc384e3ce
parent27e4036d01e3d7aa080315c8fddbc45fa0972c55
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.
libraries/template-haskell/Language/Haskell/TH.hs
libraries/template-haskell/Language/Haskell/TH/Lib.hs
libraries/template-haskell/Language/Haskell/TH/Ppr.hs
libraries/template-haskell/Language/Haskell/TH/Syntax.hs