Skip to content

Update mypy error messages in code examples, part 1 #7706

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
hoefling wants to merge 5 commits into from
Closed

Update mypy error messages in code examples, part 1 #7706

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
6e3523b
revisited mypy error messages in additional_features.rst
hoefling Oct 13, 2019
5b23ebd
revisited mypy error messages in casts.rst
hoefling Oct 13, 2019
49f5059
revisited mypy error messages in class_basics.rst
hoefling Oct 13, 2019
bd24079
revisited mypy error messages in common_issues.rst
hoefling Oct 13, 2019
f542adb
changed code example where mypy reports incompatible types
hoefling Oct 13, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
revisited mypy error messages in casts.rst 
Signed-off-by: Oleg Höfling <[email protected]>
  • Loading branch information
@hoefling
hoefling committed Oct 13, 2019
commit 5b23ebde44e88df60fa2ebc57686f66edee1b6be
4 changes: 2 additions & 2 deletions docs/source/casts.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ quite understand what is going on.
.. code-block:: python

def foo(o: object) -> None:
print(o + 5) # Error: can't add 'object' and 'int'
print(o + 5) # error: Unsupported operand types for + ("object" and "int")
assert isinstance(o, int)
print(o + 5) # OK: type of 'o' is 'int' here

Expand All @@ -44,6 +44,6 @@ any operations on the result. For example:
from typing import cast, Any

x = 1
x.whatever() # Type check error
x.whatever() # error: "int" has no attribute "whatever"
y = cast(Any, x)
y.whatever() # Type check OK (runtime error)