Permitting trailing commas for record syntax ADT declarations

Alexander Berntsen alexander at plaimi.net
Tue Sep 23 08:05:58 UTC 2014


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

On 23/09/14 10:03, Johan Tibell wrote:
> I must say that requiring a language pragma makes the feature quite
> a bit more heavy weight. We're not changing the meaning of any
> existing programs, just allowing some new ones. One could argue
> that perhaps the HaskellXX standard might pick up this new pragma
> and thus making it unnecessary eventually, but the standardization
> process is dead (and even when it was alive, it was lagging actual
> practice enough that it was largely ignored.)
It makes it a *lot* more involved. And your reasoning of "hey, it
doesn't break anything" was that of my own.

Staring at the parser code this morning I've decided that if there's a
pragma, I will add a Wiki page and Trac ticket and have everyone vote
on what they want to go in, and then make *one* commit, "Add
ExtraCommas" that does it all. It will be a gigantic mess to do it in
small commits.
- -- 
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/

iF4EAREIAAYFAlQhKeYACgkQRtClrXBQc7U4twD8D/Z1Ae0AeBlmALwCj/UMbeJH
Oa8d535Ce3qzyrU68xgBAJnjJJOYT2IScsfMiUDv7cwRGQisPBujHIedohmFUjT3
=WtsL
-----END PGP SIGNATURE-----


More information about the ghc-devs mailing list