Re: update to Template Haskell for rich kinds

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 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/** TemplateHaskellRichKindshttp://hackage.haskell.org/trac/ghc/wiki/TemplateHaskellRichKindsand the official Trac feature request is hackage.haskell.org/trac/ghc/**ticket/5612http://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 http://www.haskell.org/**mailman/listinfo/glasgow-**haskell-usershttp://www.haskell.org/mailman/listinfo/glasgow-haskell-users