Public Git Hosting - hiphop-php.git/search

2020-01-22	Vassil Mladenov	Remove bracket array literals from Redis	commit \| commitdiff \| tree
2020-01-20	Vassil Mladenov	Use subtyping to handle splat destructuring	commit \| commitdiff \| tree
2020-01-15	Vassil Mladenov	Make inout assignment error position independent of...	commit \| commitdiff \| tree
2020-01-06	Vassil Mladenov	Make arithmetic more robust in the presence of like...	commit \| commitdiff \| tree
2019-12-06	Vassil Mladenov	Improve error messages and clean up subtyping for destructuring	commit \| commitdiff \| tree
2019-12-06	Vassil Mladenov	Use ppx_deriving ord to derive some comparisons in...	commit \| commitdiff \| tree
2019-12-06	Vassil Mladenov	Move arithmetic into Typing_arithmetic	commit \| commitdiff \| tree
2019-11-21	Vassil Mladenov	Refactor AST for Call and New nodes	commit \| commitdiff \| tree
2019-11-19	Vassil Mladenov	Clean up unnecessary like types exp files	commit \| commitdiff \| tree
2019-11-18	Vassil Mladenov	Convert Tdestructure to constraint type	commit \| commitdiff \| tree
2019-11-13	Vassil Mladenov	Remove three references to Typing_phase from Typing_subtype	commit \| commitdiff \| tree
2019-11-13	Vassil Mladenov	Reference local subtype function instead of jumping...	commit \| commitdiff \| tree
2019-11-07	Vassil Mladenov	Make throw use coercion	commit \| commitdiff \| tree
2019-11-06	Vassil Mladenov	Use coercion to check Traversables for a splat	commit \| commitdiff \| tree
2019-11-05	Vassil Mladenov	Extend Shapes:: functions override to dynamic	commit \| commitdiff \| tree
2019-11-01	Vassil Mladenov	Remove confusing module T alias	commit \| commitdiff \| tree
2019-10-28	Vassil Mladenov	Weaken exhaustiveness check for like enums	commit \| commitdiff \| tree
2019-10-25	Vassil Mladenov	Merge inference for varray,vec and darray,dict	commit \| commitdiff \| tree
2019-10-25	Vassil Mladenov	Delete unused collections flag	commit \| commitdiff \| tree
2019-10-21	Vassil Mladenov	Do not treat soft types as like types	commit \| commitdiff \| tree
2019-10-21	Vassil Mladenov	Do not pessimize Shapes:: arguments	commit \| commitdiff \| tree
2019-10-17	Vassil Mladenov	Do not pessimize initializers	commit \| commitdiff \| tree
2019-10-17	Vassil Mladenov	Do not pessimize function argument types	commit \| commitdiff \| tree
2019-10-17	Vassil Mladenov	Fix refinement in Shapes::idx when the shape is a like...	commit \| commitdiff \| tree
2019-10-16	Vassil Mladenov	Fix tests	commit \| commitdiff \| tree
2019-10-15	Vassil Mladenov	Do not pessimize return types	commit \| commitdiff \| tree
2019-10-10	Vassil Mladenov	Add a debug tool to skip function and method bodies	commit \| commitdiff \| tree
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
next

RSS Atom