amesgen
commented
1 year ago Thanks, I have also been in situations where I wanted to be able to signal the semantic irrelevance of the order of constructors/fields in the past; in which case automatic sorting would be very convenient indeed. Maybe modifiers could be used for that in the future.
Of course, automatically (i.e. without manual annotations) sorting corresponding pattern matches would require implementing project-wide name resolution, which would likely get out of hand very quickly for anything other than the simplest cases (without relying on GHC). We have a similar problem for resolving operator fixity information.
FTR: This is related to #968 (in particular, see https://github.com/tweag/ormolu/issues/968#issuecomment-1384212432).
mrkkrp
Is your feature request related to a problem? Please describe.
In larger codebases, it's common to have large ADTs that constantly have new options added. Some examples are:
When developers add a new option, either as a constructor or pattern patching on the constructor somewhere, they're likely to add to the end of the list and end up with merge conflicts.
Describe the solution you'd like
It'd be nice to have a way to opt-in to sorting constructors at the data definition site, and when pattern matching on them. This makes it much less likely developers are editing around the same lines of code, and is a little cleaner.
This would have to be an opt-in at a specific site thing, since you usually wouldn't want it, and changing the order of constructors has semantic impacts.
I haven't fully considered how to handle when a constructor is repeated.
Describe alternatives you've considered
Doing this as a separate CLI tool, doing it in ormolu, just living with the conflicts, maybe some way to configure git to be less likely to conflict in these areas.
Additional context
I think such a feature would potentially go against the "avoid configuration" aspect of ormolu, but it does advance the goals of:
I don't really expect this is a high priority issue for the project. I am just implementing this now as a separate CLI tool, and figured I'd check if you all would want something inside Ormolu itself in the future.