Permitting trailing commas for record syntax ADT declarations

[Alexander Berntsen]

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

On 23/09/14 09:39, Andreas Abel wrote:
> If you want to do it only for commas, I suggest ExtraCommas
It's only going to be commas, I think. I don't care about the name.
ExtraCommas is fine by me.
- -- 
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/

iF4EAREIAAYFAlQhJAYACgkQRtClrXBQc7XeIAD/em/K42ZxittTiDT5vU+p607I
RJAhM5ZIHZDXbzKkV14BALQLxhuVX17Tsa4mWSQZ9vqTllwu0DMe+Atea6MxbGcj
=vRVV
-----END PGP SIGNATURE-----