Open ethan-leba opened 2 years ago
There's a noticable delay once we hit ~10 statements in a block:
private void foo(String args) { break; break; break; break; break; break; break; break; break; break; }
The easiest solution would likely be to special case specific node types, like REPEAT[CHOICE...] or other trivial grammar nodes.
REPEAT[CHOICE...]
A more likely better long-term solution would be to port the performance optimizations in faster-miniKanren to reazon.
Bug discovered in reazon that had large effects on performance: https://github.com/nickdrozd/reazon/pull/15
Hopefully should help alot here!
There's a noticable delay once we hit ~10 statements in a block:
The easiest solution would likely be to special case specific node types, like
REPEAT[CHOICE...]
or other trivial grammar nodes.A more likely better long-term solution would be to port the performance optimizations in faster-miniKanren to reazon.