Permitting trailing commas for record syntax ADT declarations

[Alexander Berntsen]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On 22/09/14 21:07, Simon Peyton Jones wrote:
> have a language extension TrailingCommas (or something) to enable
> the extension
For clarification: are you overruling the "do we sneak it in HEAD or
use pragma(s)"-vote and telling me to do the latter?

If we can sneak it into HEAD (this is @ you Johan, too), I suggest
that someone applies my patches to make import and export lists
support leading commas (presently they only support trailing commas,
per the report) -- and following this I can just send a bunch of
"Permit leading/trailing ',' in Foo" patches to Phabricator, and you
guys can bikeshed over there about which ones you actually want to
commit. ;-)

If I am to go down the pragma route, I guess I can make a
RudundantCommas pragma or something like that, that implements
trailing commas for imports/exports, and leading/trailing commas for
the suggestions in this thread.

I'm +1 on the GHC HEAD route, but I'm not exactly violently opposed to
the pragma route either.
- -- 
Alexander
alexander at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iF4EAREIAAYFAlQhHRoACgkQRtClrXBQc7U0WAD+Ixdah2pHMoeLiTGQJf0JLwDR
I2dxYS7yaKyOHuHcUuEBAKh6RQmmpztz82yt/KCw0n2md3pf4n8yc5tt9s9k3FW3
=FfHX
-----END PGP SIGNATURE-----