[Haskell-cafe] generalize RecordPuns and RecordWildCards to work with qualified names?

Simon Peyton-Jones simonpj at microsoft.com
Thu Jul 23 05:51:20 EDT 2009


Can you give a concrete program to illustrate your point, please?  I'm not getting it.

Simon

| -----Original Message-----
| From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-bounces at haskell.org] On
| Behalf Of Evan Laforge
| Sent: 17 July 2009 23:57
| To: haskell
| Subject: [Haskell-cafe] generalize RecordPuns and RecordWildCards to work with
| qualified names?
| 
| Record punning is not all that useful with qualified module names.  If
| I write '(M.Record { M.rec_x })' it says " Qualified variable in
| pattern" and if I write '(M.Record { rec_x })' it says 'Not in scope:
| `rec_x''.  Could it be this extension be further extended slightly so
| that 'f (M.Record { M.rec_x })' will desugar to 'f (M.Record { M.rec_x
| = rec_x })'?
| 
| Similarly, RecordWildCards could support this too.
| 
| It seems simple and useful to me... am I missing anything fatally
| problematic about this?  Would anyone else use it?
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe



More information about the Haskell-Cafe mailing list