Hi Ozgur,<br><br>At least template-haskell-2.4.0.0 (which comes with GHC 6.12) has syntax for type equality constraints [1], so I'm guessing it should support GADTs (I haven't actually tested it). It also has syntax for type families.<br>
<br><br>Cheers,<br>Pedro<br><br>[1] <a href="http://hackage.haskell.org/packages/archive/template-haskell/2.4.0.0/doc/html/Language-Haskell-TH-Syntax.html#t%3ACxt">http://hackage.haskell.org/packages/archive/template-haskell/2.4.0.0/doc/html/Language-Haskell-TH-Syntax.html#t%3ACxt</a><br>
<br><div class="gmail_quote">On Wed, Apr 14, 2010 at 11:53, Ozgur Akgun <span dir="ltr"><<a href="mailto:ozgurakgun@gmail.com">ozgurakgun@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Seeing this old thread[1], I hope something happened towards enabling this.<br>Does anybody know the current status about using TH on GADTs?<br><br>[1] <a href="http://www.haskell.org/pipermail/template-haskell/2006-August/000567.html" target="_blank">http://www.haskell.org/pipermail/template-haskell/2006-August/000567.html</a><div>
<div></div><div class="h5"><br>
<br><br><div class="gmail_quote">On 14 April 2010 10:32, Ozgur Akgun <span dir="ltr"><<a href="mailto:ozgurakgun@gmail.com" target="_blank">ozgurakgun@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
answering to myself: I guess this is related: <a href="http://hackage.haskell.org/trac/ghc/ticket/3497" target="_blank">http://hackage.haskell.org/trac/ghc/ticket/3497</a><div><div></div><div><br><br><div class="gmail_quote">
On 14 April 2010 10:13, Ozgur Akgun <span dir="ltr"><<a href="mailto:ozgurakgun@gmail.com" target="_blank">ozgurakgun@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Cafe,<br><br>How can I provide a Data instance for a GADT? I am trying to TH on it, and Uniplate requires Data.<br>
I tried StandaloneDeriving, but it seems not to work.<br><br>Best,<br clear="all"><br>-- <br><font color="#888888">Ozgur Akgun<br>
</font></blockquote></div><br><br clear="all"><br></div></div>-- <br><font color="#888888">Ozgur Akgun<br>
</font></blockquote></div><br><br clear="all"><br></div></div>-- <br><font color="#888888">Ozgur Akgun<br>
</font><br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>