Template Haskell and tuple sections

[Simon Peyton-Jones]

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/20120124/acbe780a/attachment.htm>