-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add incremental functionality for the ordinary index #299
Conversation
50c287f
to
454f5f2
Compare
You can set #296 as the target branch for this PR, and then the PR only shows the changes with respect to #296. When #296 is merged, the target branch automatically changes to |
454f5f2
to
b51efef
Compare
87a9d4d
to
b504107
Compare
b9c3c88
to
a7b8c45
Compare
b504107
to
6ff1394
Compare
6ff1394
to
3cd44c1
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM. Let's merge after you've squashed the commits, and after you've resolved my last comment.
Mutable.write buffer keyCount key | ||
writeSTRef keyCountRef $! succ keyCount | ||
feedBaler (keyListElem key) baler | ||
AppendMultiPage key pageCount -> do |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
pageCount
is not the number of pages, it's the number of overflow pages. For AppendMultiPage _ noverflow
, pagecount = noverflow + 1
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oops, you’re right. Fixed in a4fcb49.
a4fcb49
to
1b3158b
Compare
Squashed into 1b3158b. Ready to be merged. |
This adds support for incremental construction and serialization of ordinary indexes.
Note that the branch of this pull request is currently stacked onto the branch of #296, as it depends on it. Once #296 is merged, I shall rebase the branch of the present pull request onto the then current
main
.