update to Template Haskell for rich kinds

José Pedro Magalhães jpm at cs.uu.nl
Tue Mar 20 08:43:58 CET 2012

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.


On Mon, Mar 19, 2012 at 03:09, Richard Eisenberg <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 <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/20120320/e684aa36/attachment.htm>

More information about the Glasgow-haskell-users mailing list