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

Prettyprinter puts linebreaks in awkard places within type expressions #1289

Open
brianhuffman opened this issue Sep 21, 2021 · 0 comments · May be fixed by #1292
Open

Prettyprinter puts linebreaks in awkard places within type expressions #1289

brianhuffman opened this issue Sep 21, 2021 · 0 comments · May be fixed by #1292
Assignees
@brianhuffman
Labels
UX Issues related to the user experience (e.g., improved error messages)

Comments

@brianhuffman
Copy link
Contributor

This is related to #1275. Here's an example of an awkward line break in the middle of a tuple type:

montCT1 :
  {n}
    (fin n) =>
    [n] -> [2 + n] -> [n] -> ([2 + n], [2 + n]) -> ([1 + n],
     [1 + n],
     [2 + n],
     [2 + n])

If the whole tuple type doesn't fit on a line, then we should put a linebreak before the open paren.
@brianhuffman brianhuffman self-assigned this Sep 24, 2021
brianhuffman pushed a commit that referenced this issue Sep 27, 2021
Tweaks to line breaking in pretty printer.
c013035 
Fixes #1289.
@brianhuffman brianhuffman linked a pull request Sep 27, 2021 that will close this issue
Open
@robdockins robdockins added the UX Issues related to the user experience (e.g., improved error messages) label Oct 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brianhuffman brianhuffman

Labels
UX Issues related to the user experience (e.g., improved error messages)
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Tweaks to line breaking in pretty printer. GaloisInc/cryptol
2 participants
@brianhuffman @robdockins