-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 25/09/14 11:18, Simon Peyton Jones wrote:
· If we have it at all, ExtraCommas should be a {-# LANGUAGE ExtraCommas #-} extension, like any other.
· ExtraCommas should leave tuples alone (always)
OK? These are the core principles of I'm working with/towards.
When I have it satisfactory working, and have made up my mind about the details, I will make a Wiki article explaining it all. Thanks to everyone who's voiced their opinion and given me suggestions. - -- Alexander alexander@plaimi.net https://secure.plaimi.net/~alexander -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iF4EAREIAAYFAlQj3yMACgkQRtClrXBQc7W0lQD9HmCg7dAbT6vP7iKOvYVY/RuQ SM2vetxcRizC+SjhCUoA/A8IaY4PNZqnGTEl42ptX2hPOdx07E2WrSE1T9Kq3TBo =YqQ2 -----END PGP SIGNATURE-----