[commit: ghc] master: Applied lunaris's patch to allow promoted types and rich kinds in Template Haskell (0fe0c58)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/0fe0c58ee9758f1606ccd12fd04121a08488fb9a

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

commit 0fe0c58ee9758f1606ccd12fd04121a08488fb9a
Author: Richard Eisenberg <eir at seas.upenn.edu>
Date:   Tue May 15 13:42:46 2012 -0400

    Applied lunaris's patch to allow promoted types and rich kinds in Template Haskell

 compiler/deSugar/DsMeta.hs      |  256 +++++++++++++++++++++++++++++----------
 compiler/hsSyn/Convert.lhs      |   47 ++++++--
 compiler/prelude/TysWiredIn.lhs |    2 +-
 compiler/typecheck/TcSplice.lhs |   46 ++++++--
 compiler/types/TyCon.lhs        |   11 ++
 5 files changed, 283 insertions(+), 79 deletions(-)


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

    git show 0fe0c58ee9758f1606ccd12fd04121a08488fb9a