Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add more granular operator priorities to capture order of operations #200

Closed
tconbeer opened this issue Jul 14, 2022 · 1 comment · Fixed by #244
Closed

Add more granular operator priorities to capture order of operations #200

tconbeer opened this issue Jul 14, 2022 · 1 comment · Fixed by #244
Labels
enhancement New feature or request
Milestone

Comments

@tconbeer
Copy link
Owner

e.g., today this won't merge onto a single line, since it's too long, so we leave it:

foofoofoofoofoofoofoofoofoofoo
/ barbarbarbarbarbarbar
+ foofoofoofoofoofoofoofoofoofoo
/ bazbazbazbazbazbaz
+ foofoofoofoofoofoofoofoofoofoo
/ quxquxquxquxqux

but it would be better to merge the / lines:

foofoofoofoofoofoofoofoofoofoo / barbarbarbarbarbarbar
+ foofoofoofoofoofoofoofoofoofoo / bazbazbazbazbazbaz
+ foofoofoofoofoofoofoofoofoofoo / quxquxquxquxqux
@tconbeer tconbeer added the enhancement New feature or request label Jul 14, 2022
@tconbeer tconbeer added this to the v0.11.0 milestone Aug 2, 2022
@tconbeer
Copy link
Owner Author

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant