update to Template Haskell for rich kinds

[José Pedro Magalhães]

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 <eir at seas.upenn.edu>

> 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 <eir at seas.upenn.edu
> > <mailto:eir at 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 at haskell.__org
> >     <mailto:Glasgow-haskell-users at haskell.org>
> >     http://www.haskell.org/__mailman/listinfo/glasgow-__haskell-users
> >     <http://www.haskell.org/mailman/listinfo/glasgow-haskell-users>
> >
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120321/9eb34218/attachment.htm>