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

No more space inserted after interleaved keyword by formatter #1846

Merged
merged 2 commits into from
Jun 15, 2023

Conversation

cmnrd
Copy link
Collaborator

@cmnrd cmnrd commented Jun 15, 2023

I think we shouldn't insert a space after interleaved. It is intended to work more like a function call, modifying the ports in parentheses. The space in between creates a separation that could be confusing when reading the code.

@lhstrh lhstrh added this pull request to the merge queue Jun 15, 2023
Merged via the queue into master with commit 36d0a3d Jun 15, 2023
@lhstrh lhstrh deleted the formatter-interleaved branch June 15, 2023 19:08
@lhstrh lhstrh changed the title Formatter: stop insertig a space after interleaved No more space inserted after interleaved keyword by formatter Aug 28, 2023
@lhstrh lhstrh added the enhancement Enhancement of existing feature label Aug 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Enhancement of existing feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants