search

JelleZijlstra / autotyping

Automatically add simple type annotations to your code
238 stars 20 forks source link

type checker? #48

Closed jakkdl closed 1 year ago

jakkdl commented 1 year ago

Heya, gonna start working on #46 and wanna set up my dev environment properly. The code looks well typed, but tox doesn't have any type check set up and I don't see any config for mypy/pyright/other. I could add one, but the code doesn't currently pass mypy (even w/o --strict) and pyright (which tends to be more lenient) also gives one error. So I'd wanna know what program you've been using to type check with before proceeding with anything in that direction.

JelleZijlstra commented 1 year ago

It's typechecked with pyanalyze (tox -e pyanalyze).

jakkdl commented 1 year ago

ah, silly me to think I was aware of all the type checkers in use :sweat_smile: