Skip to content

Wrong annotation for Tags._fuzzy_search - #802

Closed
F4zii wants to merge 1 commit into
masterfrom
bug/info/_fuzzy_search/wrong_annotation
Closed

Wrong annotation for Tags._fuzzy_search#802
F4zii wants to merge 1 commit into
masterfrom
bug/info/_fuzzy_search/wrong_annotation

Conversation

@F4zii

@F4zii F4zii commented Feb 29, 2020

Copy link
Copy Markdown
Contributor

Description

Wrong annotation for Tags._fuzzy_search

The returned value from _fuzzy_search is a float
The current type annotation is an int,
solved this problem by switching it into a float

Resolves #789

The returned value from _fuzzy_search is a float
The current type annotation is an int,
solved this problem by switching it into a float
@F4zii
F4zii requested a review from a team as a code owner February 29, 2020 06:56
@F4zii
F4zii requested review from MrHemlock and eivl and removed request for a team February 29, 2020 06:56
@sco1

sco1 commented Feb 29, 2020

Copy link
Copy Markdown
Contributor

@F4zii @RohanJnr please address this in #803

@lemonsaurus

Copy link
Copy Markdown
Contributor

Agreed. This doesn't need to be a separate pull request. In fact, this has already been addressed in the current version of #803, so I will just close this PR.

@lemonsaurus lemonsaurus closed this Mar 1, 2020
@jb3
jb3 deleted the bug/info/_fuzzy_search/wrong_annotation branch June 25, 2020 09:09
@MarkKoz MarkKoz added a: tags Related to bot tags m: duplicate Issue or pull request already exists t: bug Something isn't working labels Aug 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

a: tags Related to bot tags m: duplicate Issue or pull request already exists t: bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Wrong annotation for Tags._fuzzy_search

4 participants