style: apply the signature layout - #61
Merged
Merged
Conversation
jonaprieto
force-pushed
the
style/signature-layout
branch
from
September 18, 2026 21:17
b94adb7 to
889de58
Compare
jonaprieto
commented
Sep 19, 2026
jonaprieto
commented
Sep 19, 2026
Whitespace-only: one binder per line, leading colon, split premises. No token stream changes.
Headers with no binders and a single-operand type stay on one line, declarations inside docstrings and string literals are left alone, declarations whose body opens with `do` are converted rather than skipped, and no conversion pushes a line past the wrap column.
:= and := by now sit on their own line at indent 4, like where, instead of trailing the last operand of the ascribed type.
Comment each anonymous input in a curried arrow type with a short noun phrase derived from the pattern-match names and docstrings.
Attributes join modifiers above the keyword line, a body that trailed a multi-line header moves below it, and a type with no operator to split at keeps the author's own line breaks.
jonaprieto
force-pushed
the
style/signature-layout
branch
from
September 19, 2026 05:28
1d6bc05 to
4467466
Compare
jonaprieto
marked this pull request as ready for review
September 19, 2026 05:43
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.