Public Git Hosting - hiphop-php.git/search

2020-03-03	Andrew Kennedy	First stab at hh_check	commit \| commitdiff \| tree
2020-03-03	Andrew Kennedy	Move more code out of typing.ml	commit \| commitdiff \| tree
2020-03-03	Andrew Kennedy	Split typing.ml into multiple modules	commit \| commitdiff \| tree
2020-02-24	Andrew Kennedy	Refactor continuations map to assist Rust oxidize	commit \| commitdiff \| tree
2020-02-19	Andrew Kennedy	Remove Tnothing decl type	commit \| commitdiff \| tree
2020-02-12	Andrew Kennedy	Enable new_inference_lambda by default, remove all...	commit \| commitdiff \| tree
2020-02-04	Andrew Kennedy	Avoid Reason.to_pos in validate type	commit \| commitdiff \| tree
2020-01-29	Andrew Kennedy	Avoid accessing reason on type	commit \| commitdiff \| tree
2020-01-29	Andrew Kennedy	In inheritance checks get positions directly from class...	commit \| commitdiff \| tree
2020-01-24	Andrew Kennedy	Fix bad position bug	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Fix build break	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Actually make ty and constraint_type opaque	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Make ty opaque in Typing_defs (part 13)	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Make ty opaque in Typing_defs (part 12)	commit \| commitdiff \| tree
2020-01-23	Andrew Kennedy	Make ty opaque in Typing_defs (part 11)	commit \| commitdiff \| tree
2020-01-21	Andrew Kennedy	Make ty opaque in Typing_defs (part 10)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 9)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 8)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 7)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 6)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 5)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 4)	commit \| commitdiff \| tree
2020-01-20	Andrew Kennedy	Make ty opaque in Typing_defs (part 3)	commit \| commitdiff \| tree
2020-01-16	Andrew Kennedy	Make ty opaque in Typing_defs (part 1)	commit \| commitdiff \| tree
2020-01-05	Andrew Kennedy	Add on_error to ety_env environment	commit \| commitdiff \| tree
2019-12-18	Andrew Kennedy	Return type for hh pseudo functions should be void	commit \| commitdiff \| tree
2019-12-06	Andrew Kennedy	End fixed point iteration early if we reach a fixed...	commit \| commitdiff \| tree
2019-12-05	Andrew Kennedy	Remove unnecessary use of Errors.try	commit \| commitdiff \| tree
2019-11-28	Andrew Kennedy	Remove some uses of Errors.try (5)	commit \| commitdiff \| tree
2019-11-28	Andrew Kennedy	Remove use of Errors.try in coercion processing	commit \| commitdiff \| tree
2019-11-27	Andrew Kennedy	Remove another use of Errors.try	commit \| commitdiff \| tree
2019-11-27	Andrew Kennedy	Remove Errors.try_add_err	commit \| commitdiff \| tree
2019-11-27	Andrew Kennedy	Report type const subsumption error at use site	commit \| commitdiff \| tree
2019-11-21	Andrew Kennedy	Remove some uses of Errors.try (2)	commit \| commitdiff \| tree
2019-11-21	Andrew Kennedy	Remove some uses of Errors.try (3)	commit \| commitdiff \| tree
2019-11-21	Andrew Kennedy	Remove uses of try_add_err	commit \| commitdiff \| tree
2019-11-19	Andrew Kennedy	Remove some uses of Errors.try (4)	commit \| commitdiff \| tree
2019-11-08	Andrew Kennedy	Remove final uses of is_sub_type_LEGACY_DEPRECATED	commit \| commitdiff \| tree
2019-11-08	Andrew Kennedy	Remove more uses of is_sub_type_LEGACY_DEPRECATED	commit \| commitdiff \| tree
2019-11-07	Andrew Kennedy	Put subtype_prop helpers in separate module	commit \| commitdiff \| tree
2019-11-06	Andrew Kennedy	Remove some uses of is_sub_type_LEGACY_DEPRECATED	commit \| commitdiff \| tree
2019-11-01	Andrew Kennedy	Run simplify_subtype during transitive closure	commit \| commitdiff \| tree
2019-10-16	Andrew Kennedy	Analyse scope of pipe variable in typing, not naming	commit \| commitdiff \| tree
2019-10-14	Andrew Kennedy	Fix leak of using variable into catch	commit \| commitdiff \| tree
2019-10-10	Andrew Kennedy	Remove tyvars functions from TAST interface	commit \| commitdiff \| tree
2019-10-10	Andrew Kennedy	Simplify linter_equality_check by using inferred type...	commit \| commitdiff \| tree
2019-10-09	Andrew Kennedy	Persist inferred type arguments in TAST	commit \| commitdiff \| tree
2019-10-08	Andrew Kennedy	Remove unused function from Typing_phase	commit \| commitdiff \| tree
2019-10-04	Andrew Kennedy	Use ty instead of fun_ty for shallow decl methods	commit \| commitdiff \| tree
2019-10-04	Andrew Kennedy	Support syntax for union and intersection types	commit \| commitdiff \| tree
2019-10-03	Andrew Kennedy	Remove ft_pos and add positions to elements	commit \| commitdiff \| tree
2019-10-03	Andrew Kennedy	Remove ft_deprecated and ft_decl_errors	commit \| commitdiff \| tree
2019-10-03	Andrew Kennedy	Remove dead min_vis functions from Typing_visibility	commit \| commitdiff \| tree
2019-09-23	Andrew Kennedy	Generate array_map decl type	commit \| commitdiff \| tree
2019-09-23	Andrew Kennedy	Split special function signature creation into separate...	commit \| commitdiff \| tree
2019-09-17	Andrew Kennedy	Remove ft_abstract from fun_type	commit \| commitdiff \| tree
2019-09-05	Andrew Kennedy	Do not use continuation for obj_get or class_get	commit \| commitdiff \| tree
2019-08-16	Andrew Kennedy	Correctly account for variadic parameters in variance...	commit \| commitdiff \| tree
2019-08-14	Andrew Kennedy	Remove decl_ty return from obj_get and class_get	commit \| commitdiff \| tree
2019-08-13	Andrew Kennedy	Remove redundant fty_decl from typing code	commit \| commitdiff \| tree
2019-08-13	Andrew Kennedy	Add "enforced" attribute to parameter and return types	commit \| commitdiff \| tree
2019-08-12	Andrew Kennedy	Explicit attribute for generics	commit \| commitdiff \| tree
2019-07-31	Andrew Kennedy	Replace checks on enum declaration with subtype checks	commit \| commitdiff \| tree
2019-07-30	Andrew Kennedy	Simplify obj_get implementation (part 1)	commit \| commitdiff \| tree
2019-07-30	Andrew Kennedy	Implement generic typing rules for unions, intersections...	commit \| commitdiff \| tree
2019-07-29	Andrew Kennedy	Simplify class_get implementation (part 2)	commit \| commitdiff \| tree
2019-07-29	Andrew Kennedy	Simplify class_get implementation (part 1)	commit \| commitdiff \| tree
2019-07-25	Andrew Kennedy	Do not needlessly compute type of result of array append	commit \| commitdiff \| tree
2019-07-25	Andrew Kennedy	Do not needlessly compute type of result of array assignment	commit \| commitdiff \| tree
2019-07-23	Andrew Kennedy	Break mutual recursion: solver	commit \| commitdiff \| tree
2019-07-23	Andrew Kennedy	Break mutual recursion: sub_string	commit \| commitdiff \| tree
2019-07-23	Andrew Kennedy	New inference: constraint-based async lambda	commit \| commitdiff \| tree
2019-07-23	Andrew Kennedy	Introduce check for redundant use of generic parameters	commit \| commitdiff \| tree
2019-07-22	Andrew Kennedy	Treat inout parameters as invariant for purposes of...	commit \| commitdiff \| tree
2019-07-17	Andrew Kennedy	Unify newtype and enum representations	commit \| commitdiff \| tree
2019-07-17	Andrew Kennedy	Inout parameters should be treated invariantly for...	commit \| commitdiff \| tree
2019-07-16	Andrew Kennedy	Make arraykey the default bound on enums	commit \| commitdiff \| tree
2019-07-16	Andrew Kennedy	Partial revert of removal of generics in hhi files	commit \| commitdiff \| tree
2019-07-15	Andrew Kennedy	Move type parameter environment into per-continuation...	commit \| commitdiff \| tree
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
next

RSS Atom