"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "analysis/test/integration/refinementTest.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).

refinementTest.ml  (pyre-check-0.0.54):refinementTest.ml  (pyre-check-0.0.55)
skipping to change at line 545 skipping to change at line 545
reveal_type(y) reveal_type(y)
|} |}
["Revealed type [-1]: Revealed type for `y` is `typing.List[int]`."]; ["Revealed type [-1]: Revealed type for `y` is `typing.List[int]`."];
(* Invalid assertions *) (* Invalid assertions *)
assert_type_errors assert_type_errors
{| {|
def foo(x: None) -> None: def foo(x: None) -> None:
assert None not in x assert None not in x
|} |}
["Undefined attribute [16]: `None` has no attribute `__getitem__`."]; ["Unsupported operand [58]: `not in` is not supported for right operand type `None`."];
assert_type_errors assert_type_errors
{| {|
def foo(x: Derp) -> None: def foo(x: Derp) -> None:
assert None not in x assert None not in x
|} |}
["Unbound name [10]: Name `Derp` is used but not defined in the current scop e."]; ["Unbound name [10]: Name `Derp` is used but not defined in the current scop e."];
assert_default_type_errors assert_default_type_errors
{| {|
import typing import typing
def foo(x: typing.Any) -> None: def foo(x: typing.Any) -> None:
 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)