Permitting trailing commas for record syntax ADT declarations

[Alexander Berntsen]

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

A piece of information which might be relevant: if we play the pragma
game, be prepared for patches that are much more involved. Sneaking
into HEAD means applying a few 2-5 line patches (from what I can tell
presently), whilst requiring a pragma means either making the parser
code really messy "everywhere" there's a comma, or having lots of
duplication there.

And giving it some thought, I'd argue for going more or less the same
route with regards to patches for a pragma. I.e. add an initial patch
that adds the pragma itself & leading commas for imports/exports, and
then submit a bunch of small commits to augment the pragma to
phabricator, and update the Wiki accordingly.


In any event, I'll have to get everything working, so you'll have
plenty of time meanwhile to decide on this issue.
- -- 
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/

iF4EAREIAAYFAlQhIZQACgkQRtClrXBQc7V2AwD/SkAHL0fIXhP3DDmI0i7IipeJ
8Z1JT0k8YqyssJtq6YgBAIB4betQXTHMDt0IGu+OLty6A6iGp2WZQ4kRNlx1lVWa
=1xbA
-----END PGP SIGNATURE-----