CakeML / CakeML/cakeml

More compact --explore output

Open
#776 2 comments 0 reactions 0 assignees View on GitHub
dev experience enhancement low effort low reward tooling
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

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.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.