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.

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

Fix remove unexpected whitespaces introduced by formatting #2489

Merged
merged 10 commits into from
Nov 3, 2023
Merged

Conversation

jonaprieto
Copy link
Collaborator

@jonaprieto jonaprieto commented Nov 1, 2023

@jonaprieto jonaprieto self-assigned this Nov 1, 2023
@jonaprieto jonaprieto added this to the 0.5.4 milestone Nov 1, 2023
@jonaprieto jonaprieto marked this pull request as draft November 2, 2023 11:45
@jonaprieto jonaprieto changed the title Remove trailing whitespace Fix remove unexpected whitespaces introduced by formatting Nov 2, 2023
@jonaprieto jonaprieto marked this pull request as ready for review November 2, 2023 18:17
src/Juvix/Prelude/Pretty.hs Show resolved Hide resolved
src/Juvix/Prelude/Pretty.hs Outdated Show resolved Hide resolved
@jonaprieto jonaprieto merged commit 47c8df1 into main Nov 3, 2023
@jonaprieto jonaprieto deleted the 2050-issue branch November 3, 2023 11:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Unexpected whitespace introduced by the formatter
3 participants