jepler/chap
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

mypy 1.7.0 has a serious bug, avoid it

Browse source
This commit is contained in:
Jeff Epler 2023-11-10 12:04:51 -06:00
parent 4a35193fa3
commit e966d62a1b
No known key found for this signature in database
GPG key ID: D5BF15AB975AB4DE
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CONTRIBUTING.md
View file

@ -33,7 +33,7 @@ This project uses [mypy](https://www.mypy-lang.org/) for type-checking.
If your system has `make`, you can type-check the project with: `make`.
Otherwise, you need to perform several setup steps:
* create a virtual environment at "venv": `python -mvenv venv`
* install dependencies in the virtual environment: `venv/bin/pip install -r requirements.txt mypy`
* install dependencies in the virtual environment: `venv/bin/pip install -r requirements.txt 'mypy!=1.7.0'`
Then, type check with: `venv/bin/mypy`

3
Makefile
View file

@ -6,9 +6,10 @@
mypy: venv/bin/mypy
venv/bin/mypy
# Update CONTRIBUTING.md if these commands change
venv/bin/mypy:
python -mvenv venv
venv/bin/pip install -r requirements.txt mypy
venv/bin/pip install -r requirements.txt 'mypy!=1.7.0'
.PHONY: clean
clean: