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

Do not ignore comments in formatter #1041

Open
anton-trunov opened this issue Nov 13, 2024 · 0 comments
Open

Do not ignore comments in formatter #1041

anton-trunov opened this issue Nov 13, 2024 · 0 comments
Assignees
@verytactical
Labels
misc: ecosystem Blueprint, Misti, Verifier, Web IDE, VSCode plugin
Milestone
v1.7.0

Comments

@anton-trunov
Copy link
Member

anton-trunov commented Nov 13, 2024 •
edited by verytactical
Loading

This is crucial for developing a formatter: #162.

@byakuren-hijiri: might be useful for other tools to e.g. suppress warnings or add user-defined invariants.
@anton-trunov anton-trunov added the scope: parser Implementation of parser (src/grammar) label Nov 13, 2024
@anton-trunov anton-trunov added this to the v1.6.0 milestone Nov 13, 2024
@anton-trunov anton-trunov mentioned this issue Nov 13, 2024
Open
@anton-trunov anton-trunov changed the title Keep comments in AST Do not ignore comments when pretty printing things Jan 13, 2025
@verytactical verytactical added misc: ecosystem Blueprint, Misti, Verifier, Web IDE, VSCode plugin and removed scope: parser Implementation of parser (src/grammar) labels Jan 23, 2025
@verytactical verytactical changed the title Do not ignore comments when pretty printing things Do not ignore comments in formatter Jan 23, 2025
@anton-trunov anton-trunov modified the milestones: v1.6.0, v1.7.0 Feb 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@verytactical verytactical

Labels
misc: ecosystem Blueprint, Misti, Verifier, Web IDE, VSCode plugin
Projects
None yet
Milestone
v1.7.0
Development

No branches or pull requests
2 participants
@anton-trunov @verytactical