Template Haskell and tuple sections

[Conal Elliott]

Thanks for the pointers, Simon.

This one feature is probably especially easy to add, since the TH
expression type already has tuple sections.

I've been meaning to learn to build GHC and get the base libraries and
cabal-install working. I can give tuple section conversion a go in the
process.

-- Conal

On Tue, Jan 24, 2012 at 11:38 AM, Simon Peyton-Jones
<simonpj at microsoft.com>wrote:

>  It’s like any other TH feature.  Template Haskell has a data type of its
> own to represent Haskell. This lags GHC-Haskell.  All that’s needed is to
> ****
>
> **·        **Design changes to the TH type (in
> Language.Haskell.TH.Syntax), and establish that everyone is happy with them
> ****
>
> **·        **Change the to- and fro- convertors to understand them
> (DsMeta and Convert).****
>
> ** **
>
> This particular one is relatively simple, because it concerns expressions
> (rather declarations).  ****
>
> ** **
>
> So, more power to you.****
>
> ** **
>
> Simon****
>
> ** **
>
> *From:* glasgow-haskell-bugs-bounces at haskell.org [mailto:
> glasgow-haskell-bugs-bounces at haskell.org] *On Behalf Of *Conal Elliott
> *Sent:* 23 January 2012 23:47
> *To:* glasgow-haskell-bugs at haskell.org
> *Subject:* Template Haskell and tuple sections****
>
> ** **
>
> I just bumped into this limitation:
>
> > > runQ [| (,2) |]
> >
> > <interactive>:1:9:
> >     Tuple sections not (yet) handled by Template Haskell (, 2)
>
> which I see is the case at least through GHC 7.2.2.
>
> I'd love to see this limitation removed. Is this difficult?
>
> -- Conal****
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-bugs/attachments/20120125/e853c468/attachment.htm>