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 <[email protected]> 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 _______________________________________________ Cvs-libraries mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-libraries
