Hi Richard,<br><br>Thanks for taking this up! One question: won&#39;t we need syntax for arbitrary promoted constructors (other than lists and tuples) in TH&#39;s Type datatype?<br><br>Also, is the Constraint kind already in TH? If not, this might be a good time to add it too.<br>

<br><br>Cheers,<br>Pedro<br><br><div class="gmail_quote">On Mon, Mar 19, 2012 at 03:09, Richard Eisenberg <span dir="ltr">&lt;<a href="mailto:eir@seas.upenn.edu">eir@seas.upenn.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Hi all,<br>
<br>
I&#39;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&#39;ve made a (short) wiki page at <a href="http://hackage.haskell.org/trac/ghc/wiki/TemplateHaskellRichKinds" target="_blank">http://hackage.haskell.org/<u></u>trac/ghc/wiki/<u></u>TemplateHaskellRichKinds</a> and the official Trac feature request is <a href="http://hackage.haskell.org/trac/ghc/ticket/5612" target="_blank">hackage.haskell.org/trac/ghc/<u></u>ticket/5612</a><br>


<br>
Does anyone have any suggestions to what I&#39;ve written? Any other comments?<br>
<br>
Thanks!<br>
Richard<br>
<br>
______________________________<u></u>_________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.<u></u>org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/glasgow-<u></u>haskell-users</a><br>
</blockquote></div><br>