mostr-zulip-bot/mypy.ini

[mypy]
check_untyped_defs = True
disallow_any_generics = True
strict_optional = True
no_implicit_optional = True

incremental = True
scripts_are_modules = True
show_traceback = True

warn_no_return = True
tools: Migrate core run-mypy options to mypy.ini. Add traceback option, as used in core Zulip run-mypy. 2018-03-30 23:00:35 -07:00			`[mypy]`
			`check_untyped_defs = True`
			`disallow_any_generics = True`
tools: Move strict-optional to mypy.ini & remove option from run-mypy. 2018-03-30 23:03:02 -07:00			`strict_optional = True`
mypy: Improve typing of bots & API; enforce no_implicit_optional. 2018-03-30 23:21:11 -07:00			`no_implicit_optional = True`
tools: Migrate core run-mypy options to mypy.ini. Add traceback option, as used in core Zulip run-mypy. 2018-03-30 23:00:35 -07:00
			`incremental = True`
			`scripts_are_modules = True`
			`show_traceback = True`

			`warn_no_return = True`