Skip to content
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

Unify history operations under a struct. Add traits to make different history approaches feasible #92

Merged
merged 7 commits into from
Jul 9, 2021

Conversation

nixypanda
Copy link
Contributor

Resolves #86 and #55

@nixypanda nixypanda changed the title History experiments Unify history operations under a struct. Add traits to make different history approaches feasible Jul 6, 2021
src/engine.rs Show resolved Hide resolved
src/engine.rs Outdated Show resolved Hide resolved
src/engine.rs Outdated Show resolved Hide resolved
src/engine.rs Outdated Show resolved Hide resolved
src/history/base.rs Show resolved Hide resolved
src/history/file_backed.rs Outdated Show resolved Hide resolved
src/history/file_backed.rs Outdated Show resolved Hide resolved
Copy link
Contributor

@sophiajt sophiajt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added some comments. The points you have about duplication and removing clones are fine, but to my mind these could be part of an optimization pass you do later.

Are you feeling comfortable with the general direction in the PR? I noticed in the design, you also mention things like fuzzy searching, which it looked like we could build onto this PR.

src/engine.rs Outdated Show resolved Hide resolved
src/engine.rs Outdated Show resolved Hide resolved
src/engine.rs Show resolved Hide resolved
src/engine.rs Outdated Show resolved Hide resolved
src/engine.rs Outdated Show resolved Hide resolved
src/history/file_backed.rs Outdated Show resolved Hide resolved
@nixypanda
Copy link
Contributor Author

nixypanda commented Jul 8, 2021

Added some comments. The points you have about duplication and removing clones are fine, but to my mind these could be part of an optimization pass you do later.

Are you feeling comfortable with the general direction in the PR? I noticed in the design, you also mention things like fuzzy searching, which it looked like we could build onto this PR.

I also agree with the point of revisiting to clean up duplication and do optimizations if the general direction of the PR is good. (which I hope is the case here)

I am pretty comfortable with how the unification worked out overall. I did not and fuzzy search as part of the PR as I wanted to not mix adding feature and clean up of code (i.e. merging both histories). I think is this something that we can take up at a later stage.

@nixypanda
Copy link
Contributor Author

@jonathandturner I have marked conversations resolved by adding a comment with the rationale behind it. If there is anything that you would me to take care of please mark the conversation unresolved.

P.S. I am not super sure about the dev flow that you have in this repo, like is it ok that I (PR author) marks the conversation resolved or should the reviewer be the only one that does so.

@sophiajt
Copy link
Contributor

sophiajt commented Jul 9, 2021

@sherubthakur - yup, it's totally okay to mark things as resolved if you think they're resolved. Giving this PR another look now

@sophiajt
Copy link
Contributor

sophiajt commented Jul 9, 2021

This looks good to me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Design][Pluggable Components] History and searching
2 participants