Re: Language Extensions and TH

--===============0081430216==
Content-Type: multipart/alternative; 
	boundary="----=_Part_15769_29426647.1207628095991"

------=_Part_15769_29426647.1207628095991
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Thanks,

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.

Cheers,
hugo

On Mon, Apr 7, 2008 at 5:06 PM, Alfonso Acosta <[email protected]>
wrote:

> > Is there a TH and recent GHC's extension type-indexed families
> interaction
> > envisaged?
> > Is it feasible to think of such support?
> > I am not sure wether only Haskell 98 is supported or if any language
> > extension is supported.
>
> Some extensions such as functional dependencies, existentials and
> pattern guards are supported. However, I'm afraid that is not (yet)
> the case for type families: See
> http://hackage.haskell.org/trac/ghc/ticket/1673 for details. It would
> be good if you added yourself to the CC list of the bug.
>
> Saludos,
>
> Fons
>

------=_Part_15769_29426647.1207628095991
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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:[email protected]">[email protected]</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>

------=_Part_15769_29426647.1207628095991--

--===============0081430216==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
template-haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/template-haskell

--===============0081430216==--