etseidl commented on PR #11157: URL: https://github.com/apache/arrow-rs/pull/11157#issuecomment-5840961900
Ok, I reverted the page index merging, and instead opted for the "replace" path for dealing with repeated calls to `read_page_indexes`. The policy now is to always replace an existing page index provider. This behavior is now documented (the old behavior pre-#10719 of sometimes preserving, sometimes replacing was never documented). I'm hopeful that this form will be easier to reconcile with a more memory-efficient storage format for partial indexes. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
