Public Git Hosting - hiphop-php.git/search

2019-04-14	Andrew Kennedy	Treat array as subtype of Traversable<any>	commit \| commitdiff \| tree
2019-04-12	Andrew Kennedy	New inference: check legacy lambdas using constraints...	commit \| commitdiff \| tree
2019-04-10	Andrew Kennedy	New inference: narrow types for array access through...	commit \| commitdiff \| tree
2019-04-09	Andrew Kennedy	Type untyped parameters with default expressions as...	commit \| commitdiff \| tree
2019-04-08	Andrew Kennedy	New inference: remove no-eager-solve option	commit \| commitdiff \| tree
2019-04-04	Andrew Kennedy	New inference: deal with unions containing type variables...	commit \| commitdiff \| tree
2019-04-03	Andrew Kennedy	New inference: don't reject array indexing where nothing...	commit \| commitdiff \| tree
2019-04-03	Andrew Kennedy	Fix type checking of nullsafe shape accesses	commit \| commitdiff \| tree
2019-03-28	Andrew Kennedy	New inference: logging of changes to environment between...	commit \| commitdiff \| tree
2019-03-28	Andrew Kennedy	More concise and useful type checker logging	commit \| commitdiff \| tree
2019-03-22	Andrew Kennedy	New inference: check index type in array get during...	commit \| commitdiff \| tree
2019-03-21	Andrew Kennedy	New inference: lambdas by constraint solving	commit \| commitdiff \| tree
2019-03-05	Andrew Kennedy	New inference: eager solve for null refinement only...	commit \| commitdiff \| tree
2019-03-04	Andrew Kennedy	New inference: apply narrowing to type variable bounds...	commit \| commitdiff \| tree
2019-03-04	Andrew Kennedy	New inference: remove redundant type variables from...	commit \| commitdiff \| tree
2019-03-01	Andrew Kennedy	New inference: flag eagerly-solved type variables and...	commit \| commitdiff \| tree
2019-02-15	Andrew Kennedy	New inference: error if eager solving to nothing	commit \| commitdiff \| tree
2019-02-13	Andrew Kennedy	New inference: clean up variance setting	commit \| commitdiff \| tree
2019-02-13	Andrew Kennedy	Add nullable smart constructor to Typing_make_type	commit \| commitdiff \| tree
2019-02-11	Andrew Kennedy	New inference: flatten unions when solving for lower...	commit \| commitdiff \| tree
2019-02-07	Andrew Kennedy	Check use of variant parameters in where constraints	commit \| commitdiff \| tree
2019-02-07	Andrew Kennedy	New inference: maintain position information in type...	commit \| commitdiff \| tree
2019-02-06	Andrew Kennedy	Report error for all incorrect uses of variant type...	commit \| commitdiff \| tree
2019-02-05	Andrew Kennedy	New inference: use lists not sets for tyvars	commit \| commitdiff \| tree
2019-02-04	Andrew Kennedy	New inference: set tyvar variance to account for lambda...	commit \| commitdiff \| tree
2019-01-31	Andrew Kennedy	New inference: remove even more tyvars plumbing	commit \| commitdiff \| tree
2019-01-31	Andrew Kennedy	New inference: remove more tyvars plumbing	commit \| commitdiff \| tree
2019-01-31	Andrew Kennedy	New inference: simplify tyvars plumbing	commit \| commitdiff \| tree
2019-01-30	Andrew Kennedy	Type inference: track tyvars for static_class_id, in...	commit \| commitdiff \| tree
2019-01-30	Andrew Kennedy	New inference: do not check index type of covariant...	commit \| commitdiff \| tree
2019-01-26	Andrew Kennedy	New inference: more tests	commit \| commitdiff \| tree
2019-01-25	Andrew Kennedy	Clean up printing of types in error messages	commit \| commitdiff \| tree
2019-01-25	Andrew Kennedy	New inference: type variable type in TypeStructure...	commit \| commitdiff \| tree
2019-01-24	Andrew Kennedy	New inference: instanceof on class expression of type...	commit \| commitdiff \| tree
2019-01-24	Andrew Kennedy	Produce error for type checker timeout on function...	commit \| commitdiff \| tree
2019-01-24	Andrew Kennedy	New inference: new test cases that are correctly rejected...	commit \| commitdiff \| tree
2019-01-23	Andrew Kennedy	New inference: spurious circular types	commit \| commitdiff \| tree
2019-01-21	Andrew Kennedy	New inference: remove redundant upper bounds when solving...	commit \| commitdiff \| tree
2019-01-21	Andrew Kennedy	New inference: update variance of type variables after...	commit \| commitdiff \| tree
2019-01-19	Andrew Kennedy	Reject use of superglobals in strict mode	commit \| commitdiff \| tree
2019-01-19	Andrew Kennedy	New inference: overloaded idx	commit \| commitdiff \| tree
2019-01-17	Andrew Kennedy	New inference: permit non-arraykey indexing of array...	commit \| commitdiff \| tree
2019-01-16	Andrew Kennedy	Do not infer the any type when lambda has no return...	commit \| commitdiff \| tree
2019-01-15	Andrew Kennedy	New inference: fix double nullable issue	commit \| commitdiff \| tree
2019-01-11	Andrew Kennedy	New Inference: new test that should be rejected	commit \| commitdiff \| tree
2019-01-11	Andrew Kennedy	New inference: eager solving of type variable for nullable...	commit \| commitdiff \| tree
2019-01-11	Andrew Kennedy	New inference: replace new-inference-eager-solve flag...	commit \| commitdiff \| tree
2019-01-10	Andrew Kennedy	New inference: tests for lambdas	commit \| commitdiff \| tree
2019-01-09	Andrew Kennedy	New inference: less constraining eager solving	commit \| commitdiff \| tree
2019-01-08	Andrew Kennedy	New Inference: Don't check type of index against collection...	commit \| commitdiff \| tree
2019-01-08	Andrew Kennedy	New inference: Revert unsound array append change	commit \| commitdiff \| tree
2019-01-08	Andrew Kennedy	Clean up type checking of collection literals	commit \| commitdiff \| tree
2019-01-04	Andrew Kennedy	Remove support for shape-like arrays	commit \| commitdiff \| tree
2018-12-21	Andrew Kennedy	New inference: array append	commit \| commitdiff \| tree
2018-12-20	Andrew Kennedy	Typing_make_type cleanup and is_hack_collection	commit \| commitdiff \| tree
2018-12-19	Andrew Kennedy	New inference: eager solving for function application	commit \| commitdiff \| tree
2018-12-15	Andrew Kennedy	Control verbose display of types with hh_log_level	commit \| commitdiff \| tree
2018-12-13	Andrew Kennedy	Smart constructors for primitive types	commit \| commitdiff \| tree
2018-12-11	Andrew Kennedy	Pre-emptively solve if accessing member on a type variable	commit \| commitdiff \| tree
2018-12-11	Andrew Kennedy	Gate eager solving of invariant type variables behind...	commit \| commitdiff \| tree
2018-12-11	Andrew Kennedy	Record fresh type variables from instance methods	commit \| commitdiff \| tree
2018-12-10	Andrew Kennedy	Type inference for array get operation when array has...	commit \| commitdiff \| tree
2018-12-10	Andrew Kennedy	Simplify unions and nullables subtyping a type variable	commit \| commitdiff \| tree
2018-12-07	Andrew Kennedy	Enable new_inference for sample of files under hh	commit \| commitdiff \| tree
2018-12-06	Andrew Kennedy	Another test for constraint based inference	commit \| commitdiff \| tree
2018-12-05	Andrew Kennedy	Match legacy treatment of Tany in constraint-based...	commit \| commitdiff \| tree
2018-12-05	Andrew Kennedy	Record type variables for lambda return type	commit \| commitdiff \| tree
2018-12-05	Andrew Kennedy	Implement sub_string using subtyping	commit \| commitdiff \| tree
2018-12-04	Andrew Kennedy	Properly detect generic parameters in statics under...	commit \| commitdiff \| tree
2018-12-04	Andrew Kennedy	Simplify subtype: unions on right	commit \| commitdiff \| tree
2018-12-03	Andrew Kennedy	Add regression tests to new_inference directory	commit \| commitdiff \| tree
2018-12-03	Andrew Kennedy	Remove unification from fold_unresolved	commit \| commitdiff \| tree
2018-12-03	Andrew Kennedy	Remove use of iunify	commit \| commitdiff \| tree
2018-11-30	Andrew Kennedy	Ignore leading and trailing space in test output	commit \| commitdiff \| tree
2018-11-30	Andrew Kennedy	Remember fresh type variables for unions and await...	commit \| commitdiff \| tree
2018-11-30	Andrew Kennedy	Return expanded type from fold_unresolved	commit \| commitdiff \| tree
2018-11-29	Andrew Kennedy	Move more logic into simplify_subtype (3)	commit \| commitdiff \| tree
2018-11-29	Andrew Kennedy	Set variance and solve type variables for array_map etc	commit \| commitdiff \| tree
2018-11-28	Andrew Kennedy	Move more logic into simplify_subtype (2)	commit \| commitdiff \| tree
2018-11-28	Andrew Kennedy	Move more logic into simplify_subtype	commit \| commitdiff \| tree
2018-11-28	Andrew Kennedy	Set and solve tyvars for Shapes::idx	commit \| commitdiff \| tree
2018-11-28	Andrew Kennedy	Set tyvar variance during checking of memoize	commit \| commitdiff \| tree
2018-11-28	Andrew Kennedy	Set variance and solve type variables for await statement	commit \| commitdiff \| tree
2018-11-27	Andrew Kennedy	Don't add redundant bounds to tvenv	commit \| commitdiff \| tree
2018-11-27	Andrew Kennedy	Implement --hh-log-level on hh_single_type_check	commit \| commitdiff \| tree
2018-11-26	Andrew Kennedy	Add logic for AKdependent to simplify_subtype	commit \| commitdiff \| tree
2018-11-23	Andrew Kennedy	Replace hh_show by expect(...) in tests (1)	commit \| commitdiff \| tree
2018-11-23	Andrew Kennedy	Add typechecker test option to ignore error text	commit \| commitdiff \| tree
2018-11-22	Andrew Kennedy	Solve type variables generated for foreach	commit \| commitdiff \| tree
2018-11-22	Andrew Kennedy	Solve constraints for constructor calls	commit \| commitdiff \| tree
2018-11-19	Andrew Kennedy	Apply transitive subtyping when adding lower or upper...	commit \| commitdiff \| tree
2018-11-18	Andrew Kennedy	Use --flags option to append flags on hh_single_type_check	commit \| commitdiff \| tree
2018-11-17	Andrew Kennedy	Make exact types explicit in our type representation	commit \| commitdiff \| tree
2018-11-15	Andrew Kennedy	Solve type variables by using their variance	commit \| commitdiff \| tree
2018-11-15	Andrew Kennedy	Add variance of type variables based on expression...	commit \| commitdiff \| tree
2018-11-13	Andrew Kennedy	Add variance information to type variable environment	commit \| commitdiff \| tree
2018-11-12	Andrew Kennedy	Improve error messages for calls through unknown type...	commit \| commitdiff \| tree
2018-11-12	Andrew Kennedy	Add type variable environment for constraint solving	commit \| commitdiff \| tree
2018-11-08	Andrew Kennedy	More fine-grained control of logging	commit \| commitdiff \| tree
2018-11-05	Andrew Kennedy	Remove <static> from AKdependent and use this instead	commit \| commitdiff \| tree
next

RSS Atom