moonbitlang / core / 7071

90%

Build Type

push

github

Committed by web-flow

Commit Message

perf(immut/sorted_map): reuse retained filter subtrees (#4370)

* perf(immut/sorted_map): reuse retained filter subtrees

Signed-off-by: mizchi <miz404@gmail.com>

* docs(immut/sorted_map): avoid promising filter subtree identity

* refactor(immut/sorted_map): share filter child traversal

---------

Signed-off-by: mizchi <miz404@gmail.com>
Co-authored-by: Hongbo Zhang <bobzhang1988@gmail.com>

Coverage Stats

11 of 11 new or added lines in 1 file covered. (100.0%)

2 existing lines in 1 file now uncovered.

16845 of 18829 relevant lines covered (89.46%)

360200.34 hits per line