diff options
author | Melody Horn <melody@boringcactus.com> | 2020-11-05 11:09:29 -0700 |
---|---|---|
committer | Melody Horn <melody@boringcactus.com> | 2020-11-05 11:09:29 -0700 |
commit | 67e4837345d6b3127ddd0ae281434d40f3b6b377 (patch) | |
tree | ddd6be7dae9e4f5a0ad18526a25cdd5c600ede7b /mypy.ini | |
parent | b6258d36b6534d521e9cdf1307665c38e5ae409d (diff) | |
download | reference-compiler-67e4837345d6b3127ddd0ae281434d40f3b6b377.tar.gz reference-compiler-67e4837345d6b3127ddd0ae281434d40f3b6b377.zip |
fix type checking
Diffstat (limited to 'mypy.ini')
-rw-r--r-- | mypy.ini | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini new file mode 100644 index 0000000..d2b82d6 --- /dev/null +++ b/mypy.ini @@ -0,0 +1,5 @@ +[mypy] +python_version = 3.7 +check_untyped_defs = True +allow_redefinition = True +disable_error_code = no-redef |