Skip to content

chore: remove Pp.newline#11607

Closed
Alizter wants to merge 11 commits intoocaml:mainfrom
Alizter:newline-crusade
Closed

chore: remove Pp.newline#11607
Alizter wants to merge 11 commits intoocaml:mainfrom
Alizter:newline-crusade

Conversation

@Alizter
Copy link
Collaborator

@Alizter Alizter commented Apr 4, 2025

In this PR we remove all uses of Pp.newline.

We should avoid using Pp.newline since it will simply insert a newline character in the underlying formatting engine and this doesn't play well with the other kinds of breaks. I don't believe that there is any sensible use-case for this so I have opted to replace all mentions of Pp.newline with the intended equivalent.

The refactoring in Loc is a bit more advanced, but we basically update the code to use the more modern style.

Marking this as a draft PR for now until I can work out the kinks in the test-suite.

@Alizter Alizter force-pushed the newline-crusade branch 3 times, most recently from 1a7bcd5 to 0e4edf5 Compare April 5, 2025 00:10
Alizter added 11 commits August 22, 2025 23:45
… depexts

Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
This has the same semantics and we avoid Pp.newline.

Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Ali Caglayan <alizter@gmail.com>
@rgrinberg
Copy link
Member

Please re-open once this is ready

@rgrinberg rgrinberg closed this Dec 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants