Hi Richard, Thanks for taking this up! One question: won't we need syntax for arbitrary promoted constructors (other than lists and tuples) in TH's Type datatype? Also, is the Constraint kind already in TH? If not, this might be a good time to add it too. Cheers, Pedro On Mon, Mar 19, 2012 at 03:09, Richard Eisenberg <eir@seas.upenn.edu> wrote:
Hi all,
I'm working on bringing Template Haskell up to speed with the new extensions for polymorphic kinds and promoted data kinds. This requires a few small, non-breaking changes to TH datatypes. I've made a (short) wiki page at http://hackage.haskell.org/**trac/ghc/wiki/** TemplateHaskellRichKinds<http://hackage.haskell.org/trac/ghc/wiki/TemplateHaskellRichKinds>and the official Trac feature request is hackage.haskell.org/trac/ghc/**ticket/5612<http://hackage.haskell.org/trac/ghc/ticket/5612>
Does anyone have any suggestions to what I've written? Any other comments?
Thanks! Richard
______________________________**_________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.**org <Glasgow-haskell-users@haskell.org> http://www.haskell.org/**mailman/listinfo/glasgow-**haskell-users<http://www.haskell.org/mailman/listinfo/glasgow-haskell-users>