The Wayback Machine - https://web.archive.org/web/20220814224149/https://github.com/ms-jpq/coq_nvim/blob/coq/.mypy.ini
Skip to content
Permalink
coq
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
[mypy]
warn_unused_configs = true
show_error_context = true
show_column_numbers = true
show_error_codes = true
pretty = true
error_summary = true
warn_redundant_casts = true
warn_unused_ignores = true
warn_return_any = true
warn_unreachable = true
no_implicit_optional = true
disallow_untyped_decorators = true
check_untyped_defs = true
disallow_incomplete_defs = true
disallow_untyped_defs = true
disallow_untyped_calls = true
[mypy-pynvim.*]
ignore_missing_imports = True