diff options
| author | eunhhu <[email protected]> | 2026-10-05 07:53:22 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-05 07:53:22 +0100 |
| commit | 6c641903b089d81fb193c3949ccc677b701bc55b (patch) | |
| tree | 31aa8442c04bebeccb414838ebccf186ea5eb062 /link | |
| parent | 2dc0a4df9485c0a4c08859ad81f41d6efab98dd5 (diff) | |
| download | pure-6c641903b089d81fb193c3949ccc677b701bc55b.tar.gz pure-6c641903b089d81fb193c3949ccc677b701bc55b.zip | |
Read a tree's items in compiled code from a run the frame keeps, start a run at the finger's leaf, and move indices only for a list an index refers to (021)
- The frame keeps the run compiled code read a tree's item from last (the
list as it was: its version); an item it holds is read from its column,
else pure_run_item takes the item's run and steps.
- pure_list_run starts at the leaf the finger keeps when it holds the
position (a slice found by key just before): no second descent; the
run after it is found from the root (PureRun.pathless).
- LIST_APPEND and LIST_REMOVE move index states only for a list one
refers to.
- A search (core only): 89 ms compiled (answers the executor's).
Diffstat (limited to 'link')
0 files changed, 0 insertions, 0 deletions
