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

Add an option to lfc to disable line directives #2093

Closed
Tracked by #2091
lhstrh opened this issue Nov 8, 2023 · 0 comments · Fixed by #2092
Closed
Tracked by #2091

Add an option to lfc to disable line directives #2093

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

Comments

@lhstrh
Copy link
Member

lhstrh commented Nov 8, 2023

No description provided.

@lhstrh lhstrh mentioned this issue Nov 8, 2023
Closed
2 tasks
@lhstrh lhstrh changed the title add an option to lfc to not print #line at all Add an option to lfc to disable line directives Nov 8, 2023
@lhstrh lhstrh mentioned this issue Nov 8, 2023
Merged
@lhstrh lhstrh added this to the 0.6.0 milestone Nov 8, 2023
@lhstrh lhstrh self-assigned this Nov 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lhstrh lhstrh

Labels
None yet
Projects
None yet
Milestone
0.6.0
Development

Successfully merging a pull request may close this issue.

New --no-source-mapping switch to disable line directives lf-lang/lingua-franca
1 participant
@lhstrh