Skip to content
This repository has been archived by the owner on Jul 3, 2023. It is now read-only.

[JIT] comments in generated JSON #352

Open
mihaibudiu opened this issue Apr 3, 2023 · 2 comments
Open

[JIT] comments in generated JSON #352

mihaibudiu opened this issue Apr 3, 2023 · 2 comments
Assignees
@Kixiron
Labels
enhancement New feature or request

Comments

@mihaibudiu
Copy link

It would be nice to be able to add additional information to the generated JSON, such as comments and source position information. This would simplify debugging.
@mihaibudiu
Copy link
Author

I have verified that extra fields in the generated JSON are accepted.

@mihaibudiu mihaibudiu reopened this Apr 14, 2023
@mihaibudiu
Copy link
Author

This is actually true only for some of the JSON nodes, for example expressions do not support comments.

@mihaibudiu mihaibudiu added the enhancement New feature or request label Apr 14, 2023
@ryzhyk ryzhyk mentioned this issue May 12, 2023
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Kixiron Kixiron

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mihaibudiu @Kixiron