cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Add a switch to dataLang for whether primitives consume space

Open xrchz opened this issue 9 years ago • 0 comments

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.

xrchz avatar Nov 24 '16 22:11 xrchz