"Fossies" - the Fresh Open Source Software Archive  

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

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

typeTest.ml  (pyre-check-0.0.53):typeTest.ml  (pyre-check-0.0.54)
skipping to change at line 129 skipping to change at line 129
assert_create "typing.Deque" (Type.Primitive "collections.deque"); assert_create "typing.Deque" (Type.Primitive "collections.deque");
assert_create "typing.Deque[int]" (Type.parametric "collections.deque" ![Type. integer]); assert_create "typing.Deque[int]" (Type.parametric "collections.deque" ![Type. integer]);
assert_create assert_create
"typing_extensions.Protocol[int]" "typing_extensions.Protocol[int]"
(Type.parametric "typing.Protocol" ![Type.integer]); (Type.parametric "typing.Protocol" ![Type.integer]);
assert_create "typing_extensions.Protocol" (Type.Primitive "typing.Protocol"); assert_create "typing_extensions.Protocol" (Type.Primitive "typing.Protocol");
(* Check renaming. *) (* Check renaming. *)
assert_create "typing.List[int]" (Type.list Type.integer); assert_create "typing.List[int]" (Type.list Type.integer);
assert_create "typing.List" (Primitive "list"); assert_create "typing.List" (Primitive "list");
assert_create "typing.Set" (Primitive "set");
assert_create assert_create
"typing.DefaultDict[int, str]" "typing.DefaultDict[int, str]"
(Type.parametric "collections.defaultdict" ![Type.integer; Type.string]); (Type.parametric "collections.defaultdict" ![Type.integer; Type.string]);
assert_create "typing.Dict[int, str]" (Type.dictionary ~key:Type.integer ~valu e:Type.string); assert_create "typing.Dict[int, str]" (Type.dictionary ~key:Type.integer ~valu e:Type.string);
assert_create "typing.Tuple[int, str]" (Type.tuple [Type.integer; Type.string] ); assert_create "typing.Tuple[int, str]" (Type.tuple [Type.integer; Type.string] );
assert_create "typing.Tuple[int, ...]" (Type.Tuple (Type.Unbounded Type.intege r)); assert_create "typing.Tuple[int, ...]" (Type.Tuple (Type.Unbounded Type.intege r));
assert_create "typing.Tuple[()]" (Type.tuple []); assert_create "typing.Tuple[()]" (Type.tuple []);
assert_create "tuple" (Type.Primitive "tuple"); assert_create "tuple" (Type.Primitive "tuple");
assert_create "typing.Any" Type.Any; assert_create "typing.Any" Type.Any;
assert_create "typing.Optional[int]" (Type.optional Type.integer); assert_create "typing.Optional[int]" (Type.optional Type.integer);
 End of changes. 1 change blocks. 
0 lines changed or deleted 1 lines changed or added

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