The instruction count / heap usage of my usual benchmark (./scripts/{callgrind,dhat} examples/todolist.ipso < ipso-cli/benches/todolist_1_input.txt) crept up a little bit in #263.
I suspect it's from the extra types I create during checking. Examples:
The instruction count / heap usage of my usual benchmark (
./scripts/{callgrind,dhat} examples/todolist.ipso < ipso-cli/benches/todolist_1_input.txt
) crept up a little bit in #263.I suspect it's from the extra types I create during checking. Examples:
and more.
These temporary types involve heap allocations, because they're recursive.
Is this a big deal and is there a cheap way to do it?