Tim Abbott
1807e855e7
Upgrade mypy to the new 0.4.0 release.
...
Also update the mypy command line to not use deprecated argument names.
This introduces a few errors, so we exclude the relevant files to keep
the mypy output clean.
2016-05-06 13:38:12 -07:00
Eklavya Sharma
27f12b2de3
Annotate tools/lister.py.
2016-05-01 23:04:09 +05:30
Tim Abbott
755695d3c0
bugdown: Add type: ignore for fenced_code import.
...
This is a workaround to allow us to type-check files that depend on
this. Ideally in the future we'll fix the type errors in
fenced_code.py.
2016-04-28 12:50:47 -07:00
Tim Abbott
d61c8f91cf
run-mypy: Link to docs on ReadTheDocs.
2016-04-28 12:35:54 -07:00
Eklavya Sharma
3601b9eda9
tools/run-mypy: Use mypy from zulip-py3-venv if present.
2016-04-28 12:28:24 -07:00
Eklavya Sharma
1af4334887
Add tools/run-mypy.
...
Since a lot of files don't pass the mypy check, a long list of
files to be excluded from mypy check has been specified.
2016-04-28 10:03:35 -07:00