update to Template Haskell for rich kinds

[Richard Eisenberg]

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>
> 
>