Yes, we will, but this is already support through the use of ConT. The namespaces of defined types and of promoted types are also already kept distinct. The one update we would want here is an extension to the name quoting syntax. I've updated the Wiki page with my thoughts and plans here: http://hackage.haskell.org/trac/ghc/wiki/TemplateHaskellRichKinds
In my continued experiments with this, I've realized that we will need even more constructors to make all the different kinds expressible. The Wiki page is updated for this also, and I've listed two alternative implementations. Comments very much appreciated! Thanks, Richard PS: I added ConstraintK as well. On 03/20/2012 03:43 AM, José Pedro Magalhães wrote: > 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] > <mailto:[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 > <mailto:[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
