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.
Activity
mkaraev commentedon May 19, 2025
@JukkaL can I work on this issue?
wyattscarpenter commentedon May 19, 2025
@mkaraev There is no process in the mypy repo for requiring permission to work on an issue. Therefore: you can!
mkaraev commentedon May 19, 2025
Oh, okay. Great then :)