cakeml
cakeml copied to clipboard
Add a switch to dataLang for whether primitives consume space
dataLang contains a dead code elimination pass, but it only works for pure code, and primitives which consume space are not considered pure. There should be a switch in dataLang, initially off, indicating whether the space consumption of primitives is modelled, so there can initially be a more aggressive dead code elimination phase.