Public Git Hosting - hiphop-php.git/search

2018-10-30	Sasha Manzyuk	Add more missing cases to simplify_subtype	commit \| commitdiff \| tree
2018-10-26	Sasha Manzyuk	Be more explicit about the default case in simplify_subtype	commit \| commitdiff \| tree
2018-10-25	Sasha Manzyuk	Flag array assignments to undefined variables as errors	commit \| commitdiff \| tree
2018-10-18	Sasha Manzyuk	Improve typing of array assignment	commit \| commitdiff \| tree
2018-10-18	Sasha Manzyuk	Fix the definition of type equality	commit \| commitdiff \| tree
2018-10-16	Sasha Manzyuk	Smarter unification of unresolved types	commit \| commitdiff \| tree
2018-10-11	Sasha Manzyuk	Union of float and int is num	commit \| commitdiff \| tree
2018-10-11	Sasha Manzyuk	Expand Tvars when computing unions of unresolved types	commit \| commitdiff \| tree
2018-10-08	Sasha Manzyuk	Move the switch exhaustiveness check to TAST checking	commit \| commitdiff \| tree
2018-10-04	Sasha Manzyuk	Move the check that the body of an XHP node consists...	commit \| commitdiff \| tree
2018-10-04	Sasha Manzyuk	Move Callconv (inout) checks to TAST checking	commit \| commitdiff \| tree
2018-10-03	Sasha Manzyuk	Move the rvalue check into a TAST check	commit \| commitdiff \| tree
2018-10-03	Sasha Manzyuk	Give Shapes::toDict() an ad hoc typing rule similar...	commit \| commitdiff \| tree
2018-10-02	Sasha Manzyuk	Keep track of the current subtype proposition in the...	commit \| commitdiff \| tree
2018-10-01	Sasha Manzyuk	Fix type-checking of switch statements with the default...	commit \| commitdiff \| tree
2018-10-01	Sasha Manzyuk	Move printing and logging of subtype propositions out...	commit \| commitdiff \| tree
2018-09-27	Sasha Manzyuk	Remove redundant case analysis when type-checking return...	commit \| commitdiff \| tree
2018-09-25	Sasha Manzyuk	Back out "D9677742 Improve typing of array assignment"	commit \| commitdiff \| tree
2018-09-21	Sasha Manzyuk	Laxer typing rules for append and assignment to collections...	commit \| commitdiff \| tree
2018-09-21	Sasha Manzyuk	Improve typing of array assignment	commit \| commitdiff \| tree
2018-09-20	Sasha Manzyuk	Use the new union algorithm instead of subtyping and...	commit \| commitdiff \| tree
2018-09-18	Sasha Manzyuk	Approximate union of tuples by a tuple of unions	commit \| commitdiff \| tree
2018-09-17	Sasha Manzyuk	Fix namespace resolution in anonymous classes	commit \| commitdiff \| tree
2018-09-10	Sasha Manzyuk	Add an implicit upper bound ?nonnull to fully opaque...	commit \| commitdiff \| tree
2018-09-07	Sasha Manzyuk	Move the checks performed when type-checking switch...	commit \| commitdiff \| tree
2018-09-07	Sasha Manzyuk	Fix deep_type_mapper	commit \| commitdiff \| tree
2018-09-07	Sasha Manzyuk	Special case unification involving fresh unresolved...	commit \| commitdiff \| tree
2018-09-04	Sasha Manzyuk	Clean up dead array append code	commit \| commitdiff \| tree
2018-09-04	Sasha Manzyuk	Improve typing of array appends	commit \| commitdiff \| tree
2018-08-10	Sasha Manzyuk	Make `require extends C` inside interfaces and traits...	commit \| commitdiff \| tree
2018-08-09	Sasha Manzyuk	Enforce that the enum constraint, if given, is a subtype...	commit \| commitdiff \| tree
2018-08-07	Sasha Manzyuk	Disallow using [] for reading in an lvalue context	commit \| commitdiff \| tree
2018-08-06	Sasha Manzyuk	A generic type parameter is a subtype of mixed	commit \| commitdiff \| tree
2018-08-06	Sasha Manzyuk	A newtype is a subtype of mixed	commit \| commitdiff \| tree
2018-08-02	Sasha Manzyuk	Prevent Shapes::idx from creating redundant option...	commit \| commitdiff \| tree
2018-08-01	Sasha Manzyuk	A generic type parameter is a subtype of mixed	commit \| commitdiff \| tree
2018-08-01	Sasha Manzyuk	A newtype is a subtype of mixed	commit \| commitdiff \| tree
2018-07-27	Sasha Manzyuk	Fix a bug with extracting a type from an awaitable...	commit \| commitdiff \| tree
2018-07-24	Sasha Manzyuk	Clean up error code 4140 (missing optional field)	commit \| commitdiff \| tree
2018-07-23	Sasha Manzyuk	Improve typing of assignments to properties of unresolved...	commit \| commitdiff \| tree
2018-07-20	Sasha Manzyuk	Move redundant nullsafe property access check out of...	commit \| commitdiff \| tree
2018-07-20	Sasha Manzyuk	Array element assignment	commit \| commitdiff \| tree
2018-07-20	Sasha Manzyuk	Property assignment	commit \| commitdiff \| tree
2018-07-20	Sasha Manzyuk	Shape field assignment	commit \| commitdiff \| tree
2018-07-20	Sasha Manzyuk	Array append typing	commit \| commitdiff \| tree
2018-07-19	Sasha Manzyuk	Require functions with implicit or expressionless returns...	commit \| commitdiff \| tree
2018-07-13	Sasha Manzyuk	(More) sound typing of Shapes::idx	commit \| commitdiff \| tree
2018-07-11	Sasha Manzyuk	Typing rules for idx	commit \| commitdiff \| tree
2018-07-11	Sasha Manzyuk	Typing rules for Shapes::idx	commit \| commitdiff \| tree
2018-07-11	Sasha Manzyuk	Static property access	commit \| commitdiff \| tree
2018-07-11	Sasha Manzyuk	Baby steps towards formalization of property access	commit \| commitdiff \| tree
2018-07-09	Sasha Manzyuk	Stop supporting class constants as shape field names	commit \| commitdiff \| tree
2018-07-04	Sasha Manzyuk	A few small fixes to subtyping when void is treated...	commit \| commitdiff \| tree
2018-07-03	Sasha Manzyuk	Elide Tany when flattening unresolved types	commit \| commitdiff \| tree
2018-07-02	Sasha Manzyuk	Hack arrays are Indexish	commit \| commitdiff \| tree
2018-06-29	Sasha Manzyuk	Remove disallow_unsafe_comparisons option	commit \| commitdiff \| tree
2018-06-29	Sasha Manzyuk	Remove disallow_non_arraykey_keys option	commit \| commitdiff \| tree
2018-06-29	Sasha Manzyuk	Start formalizing noreturn as the bottom type	commit \| commitdiff \| tree
2018-06-26	Sasha Manzyuk	Remove redundant unresolved	commit \| commitdiff \| tree
2018-06-26	Sasha Manzyuk	Replace unification with subtyping when downcasting...	commit \| commitdiff \| tree
2018-06-26	Sasha Manzyuk	Improve typing of arrays containing untyped values	commit \| commitdiff \| tree
2018-06-26	Sasha Manzyuk	Remove shape_field_check option	commit \| commitdiff \| tree
2018-06-25	Sasha Manzyuk	Use union instead of unification when type-checking...	commit \| commitdiff \| tree
2018-06-22	Sasha Manzyuk	Remove p from the list of indexvars	commit \| commitdiff \| tree
2018-06-22	Sasha Manzyuk	Legacy vec-like arrays are covariant	commit \| commitdiff \| tree
2018-06-20	Sasha Manzyuk	Bring the syntax for newtypes into agreement with Hack	commit \| commitdiff \| tree
2018-06-19	Sasha Manzyuk	Nullable types are unions	commit \| commitdiff \| tree
2018-06-14	Sasha Manzyuk	Replace wrapping into unresolved with unbinding	commit \| commitdiff \| tree
2018-06-14	Sasha Manzyuk	Remove another three redundant unresolved's	commit \| commitdiff \| tree
2018-06-14	Sasha Manzyuk	Remove a redundant unresolved	commit \| commitdiff \| tree
2018-06-13	Sasha Manzyuk	Fix typing of Shapes::idx() with a default value	commit \| commitdiff \| tree
2018-06-13	Sasha Manzyuk	Enable looping with foreach over containers of unresolved...	commit \| commitdiff \| tree
2018-06-13	Sasha Manzyuk	Add cases for primitives to simplify_subtype	commit \| commitdiff \| tree
2018-06-12	Sasha Manzyuk	A minor clean-up of Typing_subtype.	commit \| commitdiff \| tree
2018-06-11	Sasha Manzyuk	Add cases for tuples to simplify_subtype	commit \| commitdiff \| tree
2018-06-11	Sasha Manzyuk	Add cases for shapes to simplify_subtype	commit \| commitdiff \| tree
2018-06-11	Sasha Manzyuk	Shapes are not Indexish	commit \| commitdiff \| tree
2018-06-07	Sasha Manzyuk	Extend simplify_subtype with cases for enums	commit \| commitdiff \| tree
2018-06-06	Sasha Manzyuk	Allow comparisons between objects of type DateTimeImmutable	commit \| commitdiff \| tree
2018-06-06	Sasha Manzyuk	Extend simplify_subtype with cases for newtypes	commit \| commitdiff \| tree
2018-06-06	Sasha Manzyuk	Move some subtyping checks involving an optional supertype...	commit \| commitdiff \| tree
2018-06-04	Sasha Manzyuk	Disallow accessing class consts and static methods...	commit \| commitdiff \| tree
2018-05-30	Sasha Manzyuk	Tast_check for invalid Shapes::idx() calls	commit \| commitdiff \| tree
2018-05-30	Sasha Manzyuk	Detect Shapes::keyExists() checks that statically resolve...	commit \| commitdiff \| tree
2018-05-29	Sasha Manzyuk	Add a widening rule for closed shapes	commit \| commitdiff \| tree
2018-05-25	Sasha Manzyuk	Elide singleton unresolved's when setting local variables	commit \| commitdiff \| tree
2018-05-24	Sasha Manzyuk	Add a typing rule stating that closed shapes can be...	commit \| commitdiff \| tree
2018-05-23	Sasha Manzyuk	Rewrite trivial (non-)equality comparison checks as...	commit \| commitdiff \| tree
2018-05-17	Sasha Manzyuk	Remove a bit of code duplication related to refinement...	commit \| commitdiff \| tree
2018-05-17	Sasha Manzyuk	Shapes::keyExists() should refine its first argument...	commit \| commitdiff \| tree
2018-05-17	Sasha Manzyuk	Improve typing of shapes with optional fields	commit \| commitdiff \| tree
2018-05-16	Sasha Manzyuk	Add a rule for subtyping of open shapes accounting...	commit \| commitdiff \| tree
2018-05-11	Sasha Manzyuk	Disallow non-arraykey keys in Map/Set/dict/keyset/darray...	commit \| commitdiff \| tree
2018-05-04	Sasha Manzyuk	Make void the type of null	commit \| commitdiff \| tree
2018-05-04	Sasha Manzyuk	Make type-checking of comparisons stricter	commit \| commitdiff \| tree
2018-05-03	Sasha Manzyuk	Fix promotion of pending locals	commit \| commitdiff \| tree
2018-04-30	Sasha Manzyuk	Improve typing of Pairs	commit \| commitdiff \| tree
2018-04-27	Sasha Manzyuk	Preserve reason when binding a type to a fresh variable	commit \| commitdiff \| tree
2018-04-25	Sasha Manzyuk	Improve typing of tuples	commit \| commitdiff \| tree
2018-04-25	Sasha Manzyuk	Improve unification of #n with ?#n	commit \| commitdiff \| tree
next

RSS Atom