Public Git Hosting - hiphop-php.git/search

2019-10-10	Vassil Mladenov	Unify all hh_single_type_check like types flags	commit \| commitdiff \| tree
2019-10-07	Vassil Mladenov	Remove _simple suffix from pessimization and enforceability...	commit \| commitdiff \| tree
2019-10-04	Vassil Mladenov	Allow comparisons with like types	commit \| commitdiff \| tree
2019-10-04	Vassil Mladenov	Fix soft awaitables under pessimization	commit \| commitdiff \| tree
2019-10-02	Vassil Mladenov	Remove complex pessimization	commit \| commitdiff \| tree
2019-09-27	Vassil Mladenov	Remove the branch where we shortcut Tapply localization...	commit \| commitdiff \| tree
2019-09-25	Vassil Mladenov	Remove like casts when using the alias	commit \| commitdiff \| tree
2019-09-19	Vassil Mladenov	Allow coercion to arraykey for dictionary key construction	commit \| commitdiff \| tree
2019-09-18	Vassil Mladenov	Create HH\INCORRECT_TYPE<T> alias for like casts	commit \| commitdiff \| tree
2019-09-17	Vassil Mladenov	Enable coercion to const types, pessimize property...	commit \| commitdiff \| tree
2019-09-13	Vassil Mladenov	Remove enforceability judgement from localization	commit \| commitdiff \| tree
2019-09-13	Vassil Mladenov	Enable coercion to default parameter types	commit \| commitdiff \| tree
2019-09-13	Vassil Mladenov	Do not intersect for dynamic and like casts	commit \| commitdiff \| tree
2019-09-12	Vassil Mladenov	Separate gating between like casts and like type hints	commit \| commitdiff \| tree
2019-09-10	Vassil Mladenov	Allow like casts in the typechecker	commit \| commitdiff \| tree
2019-09-10	Vassil Mladenov	Inline uerror function into subtyping	commit \| commitdiff \| tree
2019-09-10	Vassil Mladenov	Add one more flag to gate union coercion	commit \| commitdiff \| tree
2019-09-09	Vassil Mladenov	Make like casts no-ops in constant initializers and...	commit \| commitdiff \| tree
2019-09-05	Vassil Mladenov	Separate complex coercion rules from dynamic ~> enforceable T	commit \| commitdiff \| tree
2019-09-04	Vassil Mladenov	Pessimize soft type hints	commit \| commitdiff \| tree
2019-09-04	Vassil Mladenov	Clean up coercion	commit \| commitdiff \| tree
2019-09-04	Vassil Mladenov	Remove coercion to ?dynamic	commit \| commitdiff \| tree
2019-08-30	Vassil Mladenov	Remove Tast_env.can_coerce in favor of try_coerce	commit \| commitdiff \| tree
2019-08-30	Vassil Mladenov	Make typecheck_like_types use simple pessimization	commit \| commitdiff \| tree
2019-08-29	Vassil Mladenov	Properly pessimize the argument type of Shapes:: functions	commit \| commitdiff \| tree
2019-08-29	Vassil Mladenov	Fix gating for simple pessimization	commit \| commitdiff \| tree
2019-08-29	Vassil Mladenov	Fix pessimization async functions that return Awaitable	commit \| commitdiff \| tree
2019-08-28	Vassil Mladenov	Pessimize xhp attributes	commit \| commitdiff \| tree
2019-08-28	Vassil Mladenov	Pessimize methods	commit \| commitdiff \| tree
2019-08-23	Vassil Mladenov	Pessimize calls to HHI functions, prevent coercion	commit \| commitdiff \| tree
2019-08-20	Vassil Mladenov	Pessimize get and set on object and class properties	commit \| commitdiff \| tree
2019-08-19	Vassil Mladenov	Implement simple pessimization for function calls	commit \| commitdiff \| tree
2019-08-19	Vassil Mladenov	Standardize 2 spaces and trailing newline for new Hack...	commit \| commitdiff \| tree
2019-08-19	Vassil Mladenov	Don't sort type variables in list destructuring subtyping	commit \| commitdiff \| tree
2019-08-19	Vassil Mladenov	Disable typecheck_like_types	commit \| commitdiff \| tree
2019-08-17	Vassil Mladenov	Fix trust for inner function types	commit \| commitdiff \| tree
2019-08-17	Vassil Mladenov	Fix ty_compare for Tdestructure	commit \| commitdiff \| tree
2019-08-16	Vassil Mladenov	Follow transparent type aliases for enforceability...	commit \| commitdiff \| tree
2019-08-15	Vassil Mladenov	Implement basic simple pessimization	commit \| commitdiff \| tree
2019-08-15	Vassil Mladenov	Rename variables in class_get for clarity	commit \| commitdiff \| tree
2019-08-13	Vassil Mladenov	Add flag for alternate pessimization algorithm	commit \| commitdiff \| tree
2019-08-13	Vassil Mladenov	Flip on coercion_from_dynamic for typecheck targets	commit \| commitdiff \| tree
2019-08-13	Vassil Mladenov	Remove coercion from generics to enforceable types	commit \| commitdiff \| tree
2019-08-12	Vassil Mladenov	Make coercion report the original subtyping error	commit \| commitdiff \| tree
2019-08-08	Vassil Mladenov	Refactor Typing_phase.localize_generic_parameters_with_bound...	commit \| commitdiff \| tree
2019-08-08	Vassil Mladenov	Support dynamic type in reactivity checks for collections	commit \| commitdiff \| tree
2019-08-07	Vassil Mladenov	Strip like type for lambda inference	commit \| commitdiff \| tree
2019-08-06	Vassil Mladenov	Fix invariant with like types	commit \| commitdiff \| tree
2019-08-02	Vassil Mladenov	Fix ban on using reified generics in static method	commit \| commitdiff \| tree
2019-08-02	Vassil Mladenov	Ban accessing static properties on reified generics	commit \| commitdiff \| tree
2019-07-29	Vassil Mladenov	Do not pessimize Tany and Terr	commit \| commitdiff \| tree
2019-07-25	Vassil Mladenov	Fix positions, begin clean up of coercion	commit \| commitdiff \| tree
2019-07-24	Vassil Mladenov	Add dune typecheck_like_types test	commit \| commitdiff \| tree
2019-07-23	Vassil Mladenov	Remove .like_types.exp for deleted tests	commit \| commitdiff \| tree
2019-07-23	Vassil Mladenov	Fix typecheck_like_types	commit \| commitdiff \| tree
2019-07-22	Vassil Mladenov	Add typecheck_like_types target	commit \| commitdiff \| tree
2019-07-22	Vassil Mladenov	Replace type case analysis for destructuring with subtyping	commit \| commitdiff \| tree
2019-07-19	Vassil Mladenov	Support coercion from abstract types to enforceable...	commit \| commitdiff \| tree
2019-06-26	Vassil Mladenov	Add coercion for classes parametrized by like types	commit \| commitdiff \| tree
2019-06-26	Vassil Mladenov	Pessimize explicit function type arguments	commit \| commitdiff \| tree
2019-06-26	Vassil Mladenov	Pessimize bounds on type parameters when substituting...	commit \| commitdiff \| tree
2019-06-26	Vassil Mladenov	Fix awaitable pessimization	commit \| commitdiff \| tree
2019-06-26	Vassil Mladenov	Pessimize unenforceable types at function return boundaries	commit \| commitdiff \| tree
2019-06-24	Vassil Mladenov	Fix list destructuring of unions	commit \| commitdiff \| tree
2019-06-21	Vassil Mladenov	Check __Enforceable type constants for cases that are...	commit \| commitdiff \| tree
2019-06-21	Vassil Mladenov	Further restrict abstract type constants with defaults	commit \| commitdiff \| tree
2019-06-21	Vassil Mladenov	Fix regression on defaults for abstract type constants	commit \| commitdiff \| tree
2019-06-19	Vassil Mladenov	Add switch to disable partially abstract type constants	commit \| commitdiff \| tree
2019-06-19	Vassil Mladenov	Add coercion for static methods accessed via parent::	commit \| commitdiff \| tree
2019-06-19	Vassil Mladenov	Add coercion for static methods	commit \| commitdiff \| tree
2019-06-19	Vassil Mladenov	Fix decl inheritance of abstract type constant with...	commit \| commitdiff \| tree
2019-06-19	Vassil Mladenov	Add coercion for static properties	commit \| commitdiff \| tree
2019-06-18	Vassil Mladenov	Refactor dispatch_call in typing	commit \| commitdiff \| tree
2019-06-18	Vassil Mladenov	Move abstract parent check to Tast check	commit \| commitdiff \| tree
2019-06-17	Vassil Mladenov	Add coercion for parent:: calls to instance methods	commit \| commitdiff \| tree
2019-06-17	Vassil Mladenov	Add coercion for constructors	commit \| commitdiff \| tree
2019-06-15	Vassil Mladenov	Don't lose arguments to parent:: method calls	commit \| commitdiff \| tree
2019-06-13	Vassil Mladenov	Move static method call checks out of typing.ml	commit \| commitdiff \| tree
2019-06-12	Vassil Mladenov	Add coercion to method parameter types	commit \| commitdiff \| tree
2019-06-12	Vassil Mladenov	Add coercion to property types	commit \| commitdiff \| tree
2019-06-12	Vassil Mladenov	Allow coercion in function parameters	commit \| commitdiff \| tree
2019-06-12	Vassil Mladenov	Do not have shadowing error for reified type parameter...	commit \| commitdiff \| tree
2019-06-12	Vassil Mladenov	Ban some reified type arguments	commit \| commitdiff \| tree
2019-06-12	Vassil Mladenov	Clean up logic that governs valid reified arguments	commit \| commitdiff \| tree
2019-06-12	Vassil Mladenov	Back out "[easy] Do not have shadowing error for reified...	commit \| commitdiff \| tree
2019-06-11	Vassil Mladenov	Do not have shadowing error for reified type parameter...	commit \| commitdiff \| tree
2019-06-11	Vassil Mladenov	Update genva tests	commit \| commitdiff \| tree
2019-06-11	Vassil Mladenov	Allow coercion from like types	commit \| commitdiff \| tree
2019-06-11	Vassil Mladenov	Add coercion dynamic ~> T when T is enforceable	commit \| commitdiff \| tree
2019-06-10	Vassil Mladenov	Add decl type coercion target from return positions	commit \| commitdiff \| tree
2019-06-10	Vassil Mladenov	Fix hhconfig opt for pessimize_types	commit \| commitdiff \| tree
2019-06-09	Vassil Mladenov	Introduce ExpectedTy module, refactor typing to use...	commit \| commitdiff \| tree
2019-06-07	Vassil Mladenov	Flip some tests to use the <?hh header instead of ...	commit \| commitdiff \| tree
2019-06-07	Vassil Mladenov	Ban reified generics on functions or methods that take...	commit \| commitdiff \| tree
2019-06-06	Vassil Mladenov	Always autoimport in the emitter	commit \| commitdiff \| tree
2019-06-06	Vassil Mladenov	Remove is_hh_syntax_enabled and is_hh_file_	commit \| commitdiff \| tree
2019-06-06	Vassil Mladenov	Emit inout wrapper functions in php files	commit \| commitdiff \| tree
2019-06-06	Vassil Mladenov	Emit is for is_* special functions in PHP	commit \| commitdiff \| tree
2019-06-06	Vassil Mladenov	Check PHP class names in the global namespace against...	commit \| commitdiff \| tree
2019-06-06	Vassil Mladenov	Emit invariant function in PHP files	commit \| commitdiff \| tree
next

RSS Atom