More compact --explore output

Open sorear opened this issue 5 years ago • 1 comments

It is somewhat annoying to work with the multi-100-MB JSON outputs generated when running the --explore compiler on itself. We could make those smaller by changing the displayLang to jsonLang mapping:

Tuple(constr, args...) -> ["constr", args...] List(elems...) -> ["", elems...]

I would also like to add a format version to all of the outputs, to better catch compiler/renderer skew issues.

Sep 17 '20 15:09 sorear

Hmm, so someone's interested in the explorer output.

I think you have freedom to operate here. I don't think anyone's actively using the explorer output. I did a little bit of work on it just to make it possible to get some information about some of the intermediate representations when using the binary compiler. Basically everything about the resulting JSON could be improved.

Sep 17 '20 20:09 talsewell