facebook/pyre-check: Performant type-checking for python.

6073
STARS
106
WATCHERS
398
FORKS
119
ISSUES

pyre-check Recent Issues

Issue Title State Comments Created Date Updated Date
pyre analyze erroring out open 1 2022-10-04 2022-09-30
Issue with release 0.9.16 and Python 3.6 open 0 2022-10-02 2022-09-30
Help to fix Undefined import Error open 1 2022-09-27 2022-09-30
0.9.16: not ready for pep517 build procedure open 0 2022-09-24 2022-09-30
Consistent Publisher for Meta Open Source VSCode Extensions open 0 2022-09-11 2022-09-30
Using `Self` in a parameter to a function causes a pyre error closed 0 2022-09-10 2022-09-30
`Self` type in generic class reports error on line "-1" open 2 2022-09-10 2022-09-30
NoneType object is not callable open 1 2022-08-11 2022-09-30
Pyre-vscode doesnt work open 0 2022-08-02 2022-09-30
Type narrowing on TypedDict based on types of entries open 1 2022-07-31 2022-09-30
Pyre failing to find some but not all 3rd party modules closed 1 2022-07-02 2022-09-30
--local-configuration/-l option no longer available despite documentation covering it's use closed 7 2022-06-30 2022-09-30
Problem defining a type including LiteralString open 0 2022-06-30 2022-09-30
Python stdlib `string.Formatter` doesn't understand `LiteralString` open 3 2022-06-27 2022-09-30
Module `os` does not define `os.path.join`. open 1 2022-06-23 2022-09-30
Support unpacked arbitrary-length tuple in type argument lists open 0 2022-05-28 2022-09-30
Implement support for starring from PEP 646 closed 2 2022-05-28 2022-09-30
`pyre` crashes with `ƛ [Errno 86] Bad CPU type in executable: '/.venv/bin/pyre.bin'` on arm64 macOS open 3 2022-05-25 2022-09-30
Type narrowing fails when internal attribute of Class instance differs from __init__ params open 0 2022-05-12 2022-09-30
Missing `f` prefix on f-strings open 0 2022-04-23 2022-09-30
Oceans of pyre errors after changing to the new version open 0 2022-04-22 2022-09-30
Invalid configuration: Configuration option `source_directories` cannot be overridden. open 0 2022-04-06 2022-09-30
Module boto3 - Invalid Model Issue closed 2 2022-04-05 2022-09-30
Does not understand instantiation of TypedDict defined within same function open 0 2022-03-20 2022-09-30
Detect import problems with __future__ open 0 2022-03-14 2022-09-30
Adding type annotations automatically to the .py files closed 4 2022-03-08 2022-09-30
Checking a single line of Python takes 5s because the whole typeshed is parsed open 1 2022-02-23 2022-09-30
Pyre crashes encountering file size restrictions open 1 2022-02-16 2022-09-30
Callable with variadic args cannot be called with non-variadic arguments closed 1 2022-02-07 2022-09-30
Callable with variadic args does not accept function with `*args: int` open 1 2022-02-07 2022-09-30
Allow Annotated to wrap Final and ClassVar open 1 2022-01-25 2022-09-30
pyre can forget type narrowing in certain circumstances closed 1 2022-01-22 2022-09-30
Conditionals can cause attribute type narrowing to fail closed 1 2022-01-22 2022-09-30
Pyre cannot handle some methods on constrained typevars. open 1 2022-01-22 2022-09-30
Typing errors not detected with basic int and bool closed 2 2022-01-18 2022-10-01
Can pyre check both the .py and .pyi at the same time and make sure the .py implements .pyi? closed 7 2022-01-17 2022-10-01
pyre missed a function call with missing posargs open 0 2022-01-12 2022-10-01
Segfault on ipython closed 2 2022-01-10 2022-01-16
Obtrusive VS Code notifications closed 4 2022-01-09 2022-10-01
0.9.9 release getting rejected due to bad JSON ? closed 1 2022-01-09 2022-10-01
Support `__path__` in packages open 1 2021-12-22 2022-10-02
More issues with dataflow in top-level code closed 2 2021-12-22 2022-09-27
Pysa does not detect source->sink flows in top level closed 1 2021-12-20 2022-10-06
pyre doesn't work under windows open 2 2021-12-14 2022-10-01
pyre-check doesn't detect naive date vs. tz aware date type difference closed 2 2021-12-12 2022-10-01
Pyre does not work: ƛ Check command exited with non-zero return code: 1 open 2 2021-12-08 2022-09-27
How to detect data flows outside the function ? closed 8 2021-12-03 2022-09-26
Failed with code -13 open 6 2021-11-26 2022-10-01
Incompatible parameter type: Expected typing.Callable open 1 2021-11-22 2022-10-01
pyre_extensions.safe_json does not work with typed dictionaries open 2 2021-11-16 2022-09-26

facebook's Other Repos