pyre-check
pyre-check copied to clipboard
facebook
Performant type-checking for python.
Some strings looks like they're meant to be f-strings but are missing the `f` prefix meaning variable interpolation won't happen. https://github.com/facebook/pyre-check/blob/5fa00d5c0ee367a0565cc74bc55c10a4b362bd1a/client/dataclasses_merge.py#L144 https://github.com/facebook/pyre-check/blob/5fa00d5c0ee367a0565cc74bc55c10a4b362bd1a/client/dataclasses_merge.py#L149 https://github.com/facebook/pyre-check/blob/5fa00d5c0ee367a0565cc74bc55c10a4b362bd1a/tools/generate_taint_models/__init__.py#L74 I found this issue automatically. I'm a...
# Pyre Bug Recently I got the following pyre errors in Github Actions ``` Traceback (most recent call last): File "/usr/local/bin/pyre", line 5, in from pyre_check.client.pyre import main File "/usr/local/lib/python3.8/dist-packages/pyre_check/client/pyre.py",...
Hi, I followed the setup documentation and managed to install the library. Then I ran the following command at the root of my Python project but obtained the error. `pyre...
# Pyre Bug I can't run `pyre check` at all. I've got a python lib with `demapi` folder with main code inside and want to check my typings with `pyre`...
From my trail and error process of getting `pyre incremental` to run, it seems that I needed to have a .watchmanconfig file in the root of my project. This doesn't...
# Pyre Bug **Bug description** Instantiation of a TypedDict which is defined within the _same function_ (and not at the top-level of a module) is flagged incorrectly as a type...
# Pyre Feature Request Detect when the import of `from __future__ import annotations` is not the first import in a file and create an error for it. **Is your feature...
**Bug description** I'm trying to run pyre in a fairly restricted CI environment. The process is only allowed to create files of 4GB (4294967296 Bytes) maximum size. Running pyre in...
# Pyre Feature Request ``` $ mkdir foo $ echo "print('hello world')" > foo/hello.py $ time pyre --source-directory foo check ƛ No binary specified, looking for `pyre.bin` in PATH ƛ...
Refer to [[Fall 2021] Step 3: VSCode Plugin - right click to generate model](https://github.com/MLH-Fellowship/pyre-check/issues/7). Screenshots  
