update to Template Haskell for rich kinds
José Pedro Magalhães
jpm at cs.uu.nl
Tue Mar 20 08:43:58 CET 2012
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
> Does anyone have any suggestions to what I've written? Any other comments?
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.**org <Glasgow-haskell-users at haskell.org>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users