Closed G3Kappa closed 1 year ago
Some queries that should run in constant space are creating GBs of unnecessary substitutions.
A simple example is: for(I, 0, 100000) which will probably crash the system with an OOM error before terminating.
for(I, 0, 100000)
My intuition is that these are generating "useless" substitutions that should be removed "as we go" instead of doing all the heavy lifting at the end.
Some queries that should run in constant space are creating GBs of unnecessary substitutions.
A simple example is:
for(I, 0, 100000)which will probably crash the system with an OOM error before terminating.My intuition is that these are generating "useless" substitutions that should be removed "as we go" instead of doing all the heavy lifting at the end.