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

Improved line directive placement #2091

Closed
1 of 2 tasks
lhstrh opened this issue Nov 8, 2023 · 0 comments · Fixed by #2101
Closed
1 of 2 tasks

Improved line directive placement #2091

lhstrh opened this issue Nov 8, 2023 · 0 comments · Fixed by #2101
Assignees
Milestone

Comments

@lhstrh
Copy link
Member

lhstrh commented Nov 8, 2023

At times, line directives in the generated C sources are not fully accurate (i.e., misaligned with the LF code).

Suggested improvements:

@lhstrh lhstrh added this to the 0.6.0 milestone Nov 8, 2023
@petervdonovan petervdonovan linked a pull request Nov 10, 2023 that will close this issue
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 a pull request may close this issue.

2 participants