"Fossies" - the Fresh Open Source Software Archive  

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

analysisErrorTest.ml  (pyre-check-0.0.54):analysisErrorTest.ml  (pyre-check-0.0.55)
skipping to change at line 262 skipping to change at line 262
annotation = None; annotation = None;
given_annotation = None; given_annotation = None;
evidence_locations = []; evidence_locations = [];
thrown_at_source = true; thrown_at_source = true;
}; };
}); });
(* Parameter. *) (* Parameter. *)
assert_due_to_analysis_limitations assert_due_to_analysis_limitations
(Error.IncompatibleParameterType (Error.IncompatibleParameterType
(Argument {
{ name = Some "";
name = Some ""; position = 1;
position = 1; callee = Some !&"callee";
callee = Some !&"callee"; mismatch = { Error.actual = Type.Top; expected = Type.Top; due_to_invar
mismatch = { Error.actual = Type.Top; expected = Type.Top; due_to_in iance = false };
variance = false }; });
}));
assert_due_to_analysis_limitations assert_due_to_analysis_limitations
(Error.IncompatibleParameterType (Error.IncompatibleParameterType
(Argument {
{ name = Some "";
name = Some ""; position = 1;
position = 1; callee = Some !&"callee";
callee = Some !&"callee"; mismatch = { Error.actual = Type.Top; expected = Type.string; due_to_in
mismatch = variance = false };
{ Error.actual = Type.Top; expected = Type.string; due_to_invarian });
ce = false };
}));
assert_not_due_to_analysis_limitations assert_not_due_to_analysis_limitations
(Error.IncompatibleParameterType (Error.IncompatibleParameterType
(Argument {
{ name = Some "";
name = Some ""; position = 1;
position = 1; callee = Some !&"callee";
callee = Some !&"callee"; mismatch = { Error.actual = Type.string; expected = Type.Top; due_to_in
mismatch = variance = false };
{ Error.actual = Type.string; expected = Type.Top; due_to_invarian });
ce = false };
}));
assert_due_to_analysis_limitations assert_due_to_analysis_limitations
(Error.IncompatibleParameterType (Error.IncompatibleParameterType
(Argument {
{ name = Some "";
name = Some ""; position = 1;
position = 1; callee = Some !&"callee";
callee = Some !&"callee"; mismatch =
mismatch = {
{ Error.actual = Type.Primitive "typing.TypeAlias";
Error.actual = Type.Primitive "typing.TypeAlias"; expected = Type.Top;
expected = Type.Top; due_to_invariance = false;
due_to_invariance = false; };
}; });
}));
(* Return. *) (* Return. *)
assert_due_to_analysis_limitations assert_due_to_analysis_limitations
(Error.IncompatibleReturnType (Error.IncompatibleReturnType
{ {
mismatch = { Error.actual = Type.Top; expected = Type.Top; due_to_invar iance = false }; mismatch = { Error.actual = Type.Top; expected = Type.Top; due_to_invar iance = false };
is_implicit = false; is_implicit = false;
is_unimplemented = false; is_unimplemented = false;
define_location = Node.location mock_define; define_location = Node.location mock_define;
}); });
skipping to change at line 375 skipping to change at line 369
Error.name = !&""; Error.name = !&"";
mismatch = mismatch =
{ Error.actual = Type.Top; expected = Type.Top; due_to_invaria nce = false }; { Error.actual = Type.Top; expected = Type.Top; due_to_invaria nce = false };
}; };
declare_location = Location.WithPath.any; declare_location = Location.WithPath.any;
})) }))
(error Error.Top); (error Error.Top);
assert_join assert_join
(error (error
(Error.IncompatibleParameterType (Error.IncompatibleParameterType
(Argument {
{ name = Some "";
name = Some ""; position = 1;
position = 1; callee = Some !&"callee";
callee = Some !&"callee"; mismatch =
mismatch = { Error.actual = Type.integer; expected = Type.string; due_to_inva
{ Error.actual = Type.integer; expected = Type.string; due_to_i riance = false };
nvariance = false }; }))
})))
(error (error
(Error.IncompatibleParameterType (Error.IncompatibleParameterType
(Argument {
{ name = Some "";
name = Some ""; position = 1;
position = 1; callee = Some !&"callee";
callee = Some !&"callee"; mismatch =
mismatch = { Error.actual = Type.float; expected = Type.string; due_to_invari
{ Error.actual = Type.float; expected = Type.string; due_to_inv ance = false };
ariance = false }; }))
})))
(error (error
(Error.IncompatibleParameterType (Error.IncompatibleParameterType
(Argument {
{ name = Some "";
name = Some ""; position = 1;
position = 1; callee = Some !&"callee";
callee = Some !&"callee"; mismatch =
mismatch = { Error.actual = Type.float; expected = Type.string; due_to_invari
{ Error.actual = Type.float; expected = Type.string; due_to_inv ance = false };
ariance = false }; }));
})));
let create_mock_location path = let create_mock_location path =
{ {
Location.WithPath.path; Location.WithPath.path;
start = { Location.line = 1; column = 1 }; start = { Location.line = 1; column = 1 };
stop = { Location.line = 1; column = 1 }; stop = { Location.line = 1; column = 1 };
} }
in in
assert_join assert_join
(error (error
(Error.MissingGlobalAnnotation (Error.MissingGlobalAnnotation
 End of changes. 7 change blocks. 
65 lines changed or deleted 56 lines changed or added

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