Allow end-of-line comments

[avh4]

A -- comment at the end of a line should be attached to the preceding token instead of to the subsequent token.

• after record fields in types
• after record fields in expressions
• after values in list expressions
• after values in tuple expressions
• after entries in tuple types
• union type definitions
• after record fields in record updates
• after record fields in record extension types
• in function types
• in binary operator expressions
• in cons patterns
• ? tag arguments in types (Tag --z\n a --x\n b --y\n)
• ? case branches
• ? if/else branchs
• ? let definitions
• ? top-level definitions

[ghost]

Is that this?

[avh4]

yep, the goal is to get the uid field and comment to all stay on one line.

[avh4]

Initial attempt implemented in a495484...07afe63

What other places in the syntax do end-of-line comments need to be handled?

[avh4]

Implemented for union type declarations in 080cb9a...f9e2f8c

[avh4]

Implemented for binary operators, function types, and cons patterns in 515ca02...3532eb6

[avh4]

I'm still debating whether it's good to allow this in all the places I added it for... For instance, having end-of-line comments after items in a list literal: is that a place where we should instead be encouraging refactoring?

In any case, all the TODOs for this have been implemented. Marking as resolved.