Feature
Enable --pretty by default. --no-pretty can still be used to get more concise error messages (it already works, so no need to implement it).
--pretty causes mypy to show the line with the error, and mypy will highlight the location on the line where the error was reported:
foo.py:13: error: List item 0 has incompatible type "str"; expected "int" [list-item]
aa = ["x"]
^~~
Also update documentation, including relevant command-line examples which show the error output from mypy.
Pitch
The additional context makes it easier to see what is wrong. For example, there may be multiple possible expressions which can generate the error, and the highlighting makes this obvious.
Feature
Enable
--prettyby default.--no-prettycan still be used to get more concise error messages (it already works, so no need to implement it).--prettycauses mypy to show the line with the error, and mypy will highlight the location on the line where the error was reported:Also update documentation, including relevant command-line examples which show the error output from mypy.
Pitch
The additional context makes it easier to see what is wrong. For example, there may be multiple possible expressions which can generate the error, and the highlighting makes this obvious.