Hi Richard, I've had a look at the updated proposal page; it looks fine to me. I don't really have a preference between the "standard" and "alternative" implementations right now.
You do mention parse errors with kinds and promoted constructors (which is related to http://hackage.haskell.org/trac/ghc/ticket/5682) but I think we want those things to be synonyms; the current behavior is just a bug. Cheers, Pedro 2012/3/20 Richard Eisenberg <[email protected]> > 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
