-
Notifications
You must be signed in to change notification settings - Fork 347
Support indentation for Utrecht style (prefixed) commas #1091
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
Comments
Insert We can talk about electric commas. |
@gracjan I always have to do this when work with records, and I find it's quite tedious (: |
Well, we can talk about electric commas :) |
@gracjan Was this recently fixed? It seems that it offers an appropriate indent position now for everything listed in the issue except for the pragma (which doesn't indent at all for me). |
I used to work for as long as I remember. This functionality was already present in I keep this open because LANGUAGE pragma does not indent. At this time we treat language pragma just like every other comment, we just do not do any indentation inside of it. |
In general we support comma-first lists, the missing part is to support LANGUAGE pragma indentation, noted in separate issue #1312. |
Below,
X
marks where the caret ends up when i press RET and where I would like different behavior (marked byY
). These examples are only for cases where the position of a new comma is obvious by looking on the previous line.For all of these I think the most flexible solution would be to indent to the position of the previous comma since that would allow me to insert a comma and a space for a new item, or to close the listing
Pragmas:
Exports:
Expressions:
Deriving:
The text was updated successfully, but these errors were encountered: