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

6065
STARS
106
WATCHERS
398
FORKS
118
ISSUES

pyre-check's Language Statistics

facebook's Other Repos

Star history of pyre-check
Issue history of pyre-check

pyre-check Recent Issues

Issue Title State Comments Created Date Updated Date Closed Date
Issue with release 0.9.16 and Python 3.6 open 0 2022-10-02 2022-10-03 -
Help to fix Undefined import Error open 1 2022-09-27 2022-10-03 -
0.9.16: not ready for pep517 build procedure open 0 2022-09-24 2022-10-03 -
Consistent Publisher for Meta Open Source VSCode Extensions open 0 2022-09-11 2022-10-03 -
Using `Self` in a parameter to a function causes a pyre error closed 0 2022-09-10 2022-10-03 2022-09-21
`Self` type in generic class reports error on line "-1" open 2 2022-09-10 2022-10-03 -
NoneType object is not callable open 1 2022-08-11 2022-09-25 -
Pyre-vscode doesnt work open 0 2022-08-02 2022-09-25 -
Type narrowing on TypedDict based on types of entries open 1 2022-07-31 2022-09-25 -
Pyre failing to find some but not all 3rd party modules closed 1 2022-07-02 2022-09-25 2022-07-02
--local-configuration/-l option no longer available despite documentation covering it's use closed 7 2022-06-30 2022-09-25 2022-07-12
Problem defining a type including LiteralString open 0 2022-06-30 2022-09-25 -
Python stdlib `string.Formatter` doesn't understand `LiteralString` open 3 2022-06-27 2022-09-25 -
Module `os` does not define `os.path.join`. open 1 2022-06-23 2022-09-25 -
Support unpacked arbitrary-length tuple in type argument lists open 0 2022-05-28 2022-09-25 -
Implement support for starring from PEP 646 closed 2 2022-05-28 2022-09-25 2022-06-01
`pyre` crashes with `ƛ [Errno 86] Bad CPU type in executable: '/.venv/bin/pyre.bin'` on arm64 macOS open 3 2022-05-25 2022-09-25 -
Type narrowing fails when internal attribute of Class instance differs from __init__ params open 0 2022-05-12 2022-09-25 -
Missing `f` prefix on f-strings open 0 2022-04-23 2022-09-25 -
Oceans of pyre errors after changing to the new version open 0 2022-04-22 2022-09-25 -
Invalid configuration: Configuration option `source_directories` cannot be overridden. open 0 2022-04-06 2022-09-25 -
Module boto3 - Invalid Model Issue closed 2 2022-04-05 2022-09-25 2022-04-07
Does not understand instantiation of TypedDict defined within same function open 0 2022-03-20 2022-09-25 -
Detect import problems with __future__ open 0 2022-03-14 2022-09-25 -
Adding type annotations automatically to the .py files closed 4 2022-03-08 2022-09-25 2022-03-08
Checking a single line of Python takes 5s because the whole typeshed is parsed open 1 2022-02-23 2022-09-25 -
Pyre crashes encountering file size restrictions open 1 2022-02-16 2022-09-25 -
Callable with variadic args cannot be called with non-variadic arguments closed 1 2022-02-07 2022-10-04 2022-02-07
Callable with variadic args does not accept function with `*args: int` open 1 2022-02-07 2022-09-25 -
Allow Annotated to wrap Final and ClassVar open 1 2022-01-25 2022-09-25 -
pyre can forget type narrowing in certain circumstances closed 1 2022-01-22 2022-09-25 2022-01-22
Conditionals can cause attribute type narrowing to fail closed 1 2022-01-22 2022-09-25 2022-01-22
Pyre cannot handle some methods on constrained typevars. open 1 2022-01-22 2022-10-02 -
Typing errors not detected with basic int and bool closed 2 2022-01-18 2022-10-01 2022-01-18
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 2022-01-18
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 2022-01-22
Obtrusive VS Code notifications closed 4 2022-01-09 2022-10-01 2022-02-15
0.9.9 release getting rejected due to bad JSON ? closed 1 2022-01-09 2022-10-01 2022-01-21
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 2021-12-23
Pysa does not detect source->sink flows in top level closed 1 2021-12-20 2022-10-06 2021-12-20
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 2021-12-12
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 2021-12-07
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 -
Cannot instantiate subclasses (including newtypes) of floats open 1 2021-11-05 2022-10-02 -