Open
Description
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.