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.

Sign up for GitHub

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

Jump to bottom

indentation of function application arguments #646

Closed
Matafou opened this issue Mar 21, 2022 · 0 comments · Fixed by #647
Closed

indentation of function application arguments #646

Matafou opened this issue Mar 21, 2022 · 0 comments · Fixed by #647
Assignees
@Matafou
Labels
part: indentation Problems with indentation feature of PG

Comments

@Matafou
Copy link
Contributor

Matafou commented Mar 21, 2022

from here.

It is indeed quite annoying that in function applications arguments on there own line line up with the first argument instead of the function name:

Definition foo :=
  my_function_name a b
                   c d.

is really ugly and space-expensive compared to:

Definition foo :=
  my_function_name a b
    c d.

I think the previous indentation implementation used to have the latter.
@Matafou Matafou added the part: indentation Problems with indentation feature of PG label Mar 21, 2022
@Matafou Matafou self-assigned this Mar 21, 2022
Matafou added a commit to Matafou/PG that referenced this issue Mar 25, 2022
@Matafou
Fix ProofGeneral#646. Indentation of function arguments.
7a7c079
@Matafou Matafou mentioned this issue Mar 25, 2022
Merged
Matafou added a commit to Matafou/PG that referenced this issue Mar 25, 2022
@Matafou
Fix ProofGeneral#646. Indentation of function arguments.
58adaea
Matafou added a commit to Matafou/PG that referenced this issue Mar 28, 2022
@Matafou
Fix ProofGeneral#646. Indentation of function arguments.
39911fe
Matafou added a commit that referenced this issue Mar 29, 2022
@Matafou
Merge pull request #647 from Matafou/fix-#646-indent-funargs
0b34544 
Fix #646. Indentation of function arguments.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Matafou Matafou

Labels
part: indentation Problems with indentation feature of PG
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix #646. Indentation of function arguments. Matafou/PG
1 participant
@Matafou