-
-
Notifications
You must be signed in to change notification settings - Fork 4.6k
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
[search] Use better types for indices: int
-> index_t
, std::vector<int>
->Indices
#3840
Conversation
int
-> index_t
, std::vector<int>
->Indices
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 besides from the inline comments.
Some files still have the removed type alias. @taketwo Which option is better:
|
|
Strictly speaking |
In which sense? |
If I were to change the type in The choices I listed were:
|
Is there anything left to be done here? |
Nope. The uniformity across all classes can be addressed later. I have an idea of how to do that. |
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.
Please squash 1st and 3rd commits.
@taketwo done |
No description provided.