Proposal to extend FieldPat in Template Haskell

Iavor Diatchki iavor.diatchki at gmail.com
Tue Jan 29 22:25:11 CET 2013


Hello,
(sorry for the repost, I forgot to add a subject.)

I was just doing some work with Template Haskell and I noticed that the AST
does not have support for record puns and wild-cards.  I know that these
could be desugared into ordinary record patterns but I think that it would
be more convenient for users (and also more consistent with the rest of the
AST) if we provided direct support for them.

So I propose to change:

type FieldPat = (Name, Pat)

to

data FieldPat = RecordFileldP Name Pat  -- x = P
              | RecordPunP Name         -- x
              | RecordWildP             -- ..

Would there be any objections to doing so?  If not, I'd be happy to have a
go at making the change.

-Iavor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20130129/f54065d7/attachment.htm>


More information about the Glasgow-haskell-users mailing list