Public Git Hosting - hiphop-php.git/search

2019-07-15	Andrew Kennedy	Generate fresh type parameters away from others in...	commit \| commitdiff \| tree
2019-07-10	Andrew Kennedy	Avoid generating fresh type names in refinement in...	commit \| commitdiff \| tree
2019-07-10	Andrew Kennedy	Subtyping rules for intersection	commit \| commitdiff \| tree
2019-07-08	Andrew Kennedy	Remove redundant generics from hhi files	commit \| commitdiff \| tree
2019-07-05	Andrew Kennedy	New inference: properly generate type variables for...	commit \| commitdiff \| tree
2019-07-04	Andrew Kennedy	Fix unsoundness bug with arithmetic and unresolved...	commit \| commitdiff \| tree
2019-06-30	Andrew Kennedy	Apply equalities before doing is_sub_type	commit \| commitdiff \| tree
2019-06-21	Andrew Kennedy	Subtyping of nullable <: union	commit \| commitdiff \| tree
2019-06-21	Andrew Kennedy	Simplify XHP check in TAST checking	commit \| commitdiff \| tree
2019-06-19	Andrew Kennedy	Clean up two uses if TUtils.is_option	commit \| commitdiff \| tree
2019-06-19	Andrew Kennedy	Reject unset by asserting subtypes	commit \| commitdiff \| tree
2019-06-19	Andrew Kennedy	Clean up is_sub_type (part 2)	commit \| commitdiff \| tree
2019-06-18	Andrew Kennedy	Clean up is_sub_type (part 1)	commit \| commitdiff \| tree
2019-06-18	Andrew Kennedy	Cleanup: remove fresh_tenv	commit \| commitdiff \| tree
2019-06-13	Andrew Kennedy	Remove redundant definition of fresh_type	commit \| commitdiff \| tree
2019-06-13	Andrew Kennedy	New inference: move arraykey index checks into type...	commit \| commitdiff \| tree
2019-06-07	Andrew Kennedy	Move fake members info into per-continuation environment	commit \| commitdiff \| tree
2019-06-07	Andrew Kennedy	Separate off universal value representation for logging	commit \| commitdiff \| tree
2019-06-02	Andrew Kennedy	New inference: clean up solve_tyvar entry points	commit \| commitdiff \| tree
2019-05-31	Andrew Kennedy	Fix unsoundness in is/instanceof on variable of generic...	commit \| commitdiff \| tree
2019-05-29	Andrew Kennedy	New inference cleanup: remove pos from Typing_env.env	commit \| commitdiff \| tree
2019-05-29	Andrew Kennedy	New inference: easy cleanup	commit \| commitdiff \| tree
2019-05-29	Andrew Kennedy	New inference: rename fresh_unresolved_type	commit \| commitdiff \| tree
2019-05-29	Andrew Kennedy	New inference: remove old-inference legacy expected...	commit \| commitdiff \| tree
2019-05-29	Andrew Kennedy	New inference: remove new_inference flag and old paths	commit \| commitdiff \| tree
2019-05-22	Andrew Kennedy	Make new_inference = 1.0 the default if not specified...	commit \| commitdiff \| tree
2019-05-22	Andrew Kennedy	Make new inference default for hh_single_type_check	commit \| commitdiff \| tree
2019-05-21	Andrew Kennedy	Do not drop unions as upper bounds on generic type...	commit \| commitdiff \| tree
2019-05-14	Andrew Kennedy	New inference: improved error message for unresolved...	commit \| commitdiff \| tree
2019-05-13	Andrew Kennedy	Include instantiation of generic types in error messages	commit \| commitdiff \| tree
2019-05-13	Andrew Kennedy	New inference: fix --remove-dead-fixmes for TAST check...	commit \| commitdiff \| tree
2019-05-08	Andrew Kennedy	New inference: solve for type variables with shallow...	commit \| commitdiff \| tree
2019-05-08	Andrew Kennedy	New inference: expand type before applying narrowing...	commit \| commitdiff \| tree
2019-05-07	Andrew Kennedy	Flag errors whose primary position isn't the current...	commit \| commitdiff \| tree
2019-05-02	Andrew Kennedy	New inference: add performance regression test	commit \| commitdiff \| tree
2019-05-01	Andrew Kennedy	New inference: simplify freshen_ty to just freshen...	commit \| commitdiff \| tree
2019-04-30	Andrew Kennedy	Add timeout option to hh_single_type_check	commit \| commitdiff \| tree
2019-04-29	Andrew Kennedy	New inference: better error message for unresolved...	commit \| commitdiff \| tree
2019-04-23	Andrew Kennedy	New inference: narrow bounds for array update	commit \| commitdiff \| tree
2019-04-18	Andrew Kennedy	New inference: eagerly solve type variable scrutinee...	commit \| commitdiff \| tree
2019-04-16	Andrew Kennedy	New inference: do not apply key type checks for array...	commit \| commitdiff \| tree
2019-04-15	Andrew Kennedy	New inference: better treatment of union in coalesce...	commit \| commitdiff \| tree
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
next

RSS Atom