"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "analysis/test/integration/typedDictionaryTest.ml" between
pyre-check-0.0.54.tar.gz and pyre-check-0.0.55.tar.gz

About: Pyre is a performant type checker for Python (ships with Pysa, a security focused static analysis tool).

typedDictionaryTest.ml  (pyre-check-0.0.54):typedDictionaryTest.ml  (pyre-check-0.0.55)
skipping to change at line 738 skipping to change at line 738
]; ];
assert_test_typed_dictionary assert_test_typed_dictionary
{| {|
import mypy_extensions import mypy_extensions
Movie = mypy_extensions.TypedDict('Movie', {'name': str, 'year': 'int'}) Movie = mypy_extensions.TypedDict('Movie', {'name': str, 'year': 'int'})
def f() -> None: def f() -> None:
movie: Movie movie: Movie
movie['name'] += 7 movie['name'] += 7
|} |}
[ [
"Incompatible parameter type [6]: `+` is not supported for operand types ` str` and `int`."; "Unsupported operand [58]: `+` is not supported for operand types `str` an d `int`.";
"Invalid TypedDict operation [54]: Expected `str` to be assigned to `Movie ` field `name` but \ "Invalid TypedDict operation [54]: Expected `str` to be assigned to `Movie ` field `name` but \
got `int`."; got `int`.";
]; ];
assert_test_typed_dictionary assert_test_typed_dictionary
{| {|
import mypy_extensions import mypy_extensions
Movie = mypy_extensions.TypedDict('Movie', {'name': str, 'year': 'int'}) Movie = mypy_extensions.TypedDict('Movie', {'name': str, 'year': 'int'})
ReversedMovie = mypy_extensions.TypedDict('ReversedMovie', {'year': 'int', 'name': str}) ReversedMovie = mypy_extensions.TypedDict('ReversedMovie', {'year': 'int', 'name': str})
def f() -> None: def f() -> None:
movie: Movie movie: Movie
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)