database-stream-processor icon indicating copy to clipboard operation
database-stream-processor copied to clipboard
verified publisher icon vmware

[JIT] comments in generated JSON

Open mihaibudiu opened this issue 2 years ago • 2 comments

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 avatar Apr 03 '23 17:04 mihaibudiu

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

mihaibudiu avatar Apr 14 '23 21:04 mihaibudiu

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

mihaibudiu avatar Apr 14 '23 22:04 mihaibudiu