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
Filtered infer #763
Comments
Pyre infer does have a Would that be enough to solve your problem? It might not, since Pyre could potentially be producing incorrect simple annotations (e.g. incorrectly guessing We could probably support this by allowing some kind of config to filter and/or rewrite types. But I'm curious how much the off-the-shelf behavior helps. |
@stroxler : I think the case where
where I expect it would do:
|
Pyre Feature Request
Is your feature request related to a problem? Please describe.
I've run
pyre --output=json
and written a small script to filter this:After the above I have 3,742 instances where I could add
-> None
to my codebase.This change would be very safe and easy to review because the scope is very narrow and it is automated.
Unfortunately, there's not a way to tell Pyre to fix the code to do this.
pyre infer
itself will potentially add other things.Describe the solution you'd like
I'd like a way to control
pyre infer
in a more fine-grained way.Describe alternatives you've considered
I'm playing with some crazy regex expressions just now to work around this.
Additional context
N/A
The text was updated successfully, but these errors were encountered: