This repository was archived by the owner on Jul 3, 2023. It is now read-only.
This repository was archived by the owner on Jul 3, 2023. It is now read-only.
[JIT] comments in generated JSON #352
{{ message }}
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.