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 <[email protected]> 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 <[email protected]> > http://www.haskell.org/**mailman/listinfo/glasgow-**haskell-users<http://www.haskell.org/mailman/listinfo/glasgow-haskell-users> >
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
