Thanks,<br><br>It does look quite an immatuI re to be brought to template haskell, and I doubt that it would be really necessary as a major feature. Myself, would simply like to be able to write TH code to automatically generate type family instances.<br>
<br>Cheers,<br>hugo<br><br><div class="gmail_quote">On Mon, Apr 7, 2008 at 5:06 PM, Alfonso Acosta &lt;<a href="mailto:alfonso.acosta@gmail.com">alfonso.acosta@gmail.com</a>&gt; wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="Wj3C7c">&gt; Is there a TH and recent GHC&#39;s extension type-indexed families interaction<br>
&gt; envisaged?<br>
&gt; Is it feasible to think of such support?<br>
&gt; I am not sure wether only Haskell 98 is supported or if any language<br>
&gt; extension is supported.<br>
<br>
</div></div>Some extensions such as functional dependencies, existentials and<br>
pattern guards are supported. However, I&#39;m afraid that is not (yet)<br>
the case for type families: See<br>
<a href="http://hackage.haskell.org/trac/ghc/ticket/1673" target="_blank">http://hackage.haskell.org/trac/ghc/ticket/1673</a> for details. It would<br>
be good if you added yourself to the CC list of the bug.<br>
<br>
Saludos,<br>
<br>
Fons<br>
</blockquote></div><br>