library_search cache in CI

Stream: general

[Damiano Testa]

Each CI run has a step where it builds the library_search cache. Is this still used?

The reason for asking is that I think that the new exact?/apply? machinery is fully merged, right?

[Kim Morrison]

The library_search cache is not used, but the rw? cache is used.

[Kim Morrison]

There is no reason we could not adopt Joe's new lazy discrtree approach for rw?, and indeed for have?, which currently has no cache. Just work bandwidth.

[Kim Morrison]

If anyone would like to:

• rip out constructing the exact? cache in CI (easy)
• add a lazy cache to either rw? or have? (moderately difficult, but hopefully you could cargo cult from exact?)

that would be great.

[Kim Morrison]

Happy to help, but probably won't start either of those myself.