Public Git Hosting - hiphop-php.git/search

2022-11-06	Michael Thomas	Derive `mapreduce` visitor for the AAST	commit \| commitdiff \| tree
2022-11-06	Michael Thomas	Add tests for valid and invalid uses of type access...	commit \| commitdiff \| tree
2022-11-06	Michael Thomas	Add tests for invalid uses of `this` type hint	commit \| commitdiff \| tree
2022-11-06	Michael Thomas	Add tests for primitives referred to in toplevel namespace	commit \| commitdiff \| tree
2022-11-06	Michael Thomas	Add tests for valid and invalid like type hints	commit \| commitdiff \| tree
2022-11-06	Michael Thomas	Add tests for valid and invalid wildcard type hints	commit \| commitdiff \| tree
2022-11-06	Michael Thomas	Add tests for validation of `void` and `notreturn`...	commit \| commitdiff \| tree
2022-11-01	Michael Thomas	Add NAST test for elaboration and validation of type...	commit \| commitdiff \| tree
2022-11-01	Michael Thomas	Add test for canonicalized type hints	commit \| commitdiff \| tree
2022-11-01	Michael Thomas	Eliminate multiple applications of `naming_elaborate_namespa...	commit \| commitdiff \| tree
2022-10-18	Michael Thomas	Add `Hole` on non-object member read of generic type	commit \| commitdiff \| tree
2022-10-18	Michael Thomas	Break apart non-mutually recursive functions	commit \| commitdiff \| tree
2022-10-14	Michael Thomas	Improve exception details for `Future_failure`	commit \| commitdiff \| tree
2022-07-14	Michael Thomas	Special case `nullable` types in `foreach`	commit \| commitdiff \| tree
2022-07-13	Michael Thomas	Better inference & `Hole` on nullable object get	commit \| commitdiff \| tree
2022-06-29	Michael Thomas	Improve expected types for `Hole`s in `ValCollection`	commit \| commitdiff \| tree
2022-06-29	Michael Thomas	cargo vendor	commit \| commitdiff \| tree
2022-06-20	Michael Thomas	Return indexed- and indexing-expression type mismatches...	commit \| commitdiff \| tree
2022-05-31	Michael Thomas	Refactor propositions as conjunctions & disjunctions...	commit \| commitdiff \| tree
2022-05-31	Michael Thomas	Phrase upper and lower bounds solely in terms of subtype...	commit \| commitdiff \| tree
2022-05-31	Michael Thomas	Handle subtype props requiring ancestor lookup	commit \| commitdiff \| tree
2022-05-31	Michael Thomas	Normalize subtype propositions involving intersection...	commit \| commitdiff \| tree
2022-05-31	Michael Thomas	I can haz intersections?	commit \| commitdiff \| tree
2022-05-31	Michael Thomas	Add functions to 'force' solving of tyvars	commit \| commitdiff \| tree
2022-05-18	Michael Thomas	Deal with non-denotable generics	commit \| commitdiff \| tree
2022-05-17	Michael Thomas	Subtype prop normalization for function types	commit \| commitdiff \| tree
2022-05-17	Michael Thomas	Expose solving API	commit \| commitdiff \| tree
2022-05-11	Michael Thomas	Avoid quadratic slowdown in markdown rendering	commit \| commitdiff \| tree
2022-05-10	Michael Thomas	`hackfmt` does not respect `@partially-generated` tag...	commit \| commitdiff \| tree
2022-05-03	Michael Thomas	expose top level subtyping functions	commit \| commitdiff \| tree
2022-04-28	Michael Thomas	Rename `hole_on_err` to `hole_on_ty_mismatch`	commit \| commitdiff \| tree
2022-04-28	Michael Thomas	Use the original argument type when adding `Hole`s...	commit \| commitdiff \| tree
2022-04-26	Michael Thomas	Get co- & contravariant type variable from types	commit \| commitdiff \| tree
2022-04-13	Michael Thomas	Add sufficient functionality to `Class` trait and impls...	commit \| commitdiff \| tree
2022-04-13	Michael Thomas	Add decl. oracle to env and add `Result`s everywhere	commit \| commitdiff \| tree
2022-04-13	Michael Thomas	Proposition normalisation for type & type	commit \| commitdiff \| tree
2022-04-13	Michael Thomas	Expose xhp typing errors	commit \| commitdiff \| tree
2022-04-07	Michael Thomas	Complete definition of `is_denotable`	commit \| commitdiff \| tree
2022-04-03	Michael Thomas	these .exp files can be removed?	commit \| commitdiff \| tree
2022-04-03	Michael Thomas	Fix expect test where we have no difference between...	commit \| commitdiff \| tree
2022-04-01	Michael Thomas	Avoid adding two holes to value collection literals	commit \| commitdiff \| tree
2022-03-30	Michael Thomas	Expression dependent types are not denotable	commit \| commitdiff \| tree
2022-03-25	Michael Thomas	Type parameter environment	commit \| commitdiff \| tree
2022-03-23	Michael Thomas	Add `with_code` combinator	commit \| commitdiff \| tree
2022-03-22	Michael Thomas	Add `Toption` as special case of `Tunion`	commit \| commitdiff \| tree
2022-03-15	Michael Thomas	Remove side-effecting variants from `typing_phase`	commit \| commitdiff \| tree
2022-03-15	Michael Thomas	Resolve tyvars	commit \| commitdiff \| tree
2022-03-15	Michael Thomas	Tyvar binding	commit \| commitdiff \| tree
2022-03-15	Michael Thomas	Simplify constraints	commit \| commitdiff \| tree
2022-03-14	Michael Thomas	Remove side-effecting variants from `typing_solver`	commit \| commitdiff \| tree
2022-03-14	Michael Thomas	Refactor `array_get` and `typing_generic_rules`	commit \| commitdiff \| tree
2022-03-14	Michael Thomas	Remove side-effecting variants from `typing_tdef`	commit \| commitdiff \| tree
2022-03-14	Michael Thomas	Removes side-effecting variants from `typing_subtype_tconst`	commit \| commitdiff \| tree
2022-03-14	Michael Thomas	Remove side-effecting variants from `typing_taccess`	commit \| commitdiff \| tree
2022-03-14	Michael Thomas	Remove side effecting variants from `typing_generic_constraint`	commit \| commitdiff \| tree
2022-03-11	Michael Thomas	Remove side effecting variants from `typing_subtype`	commit \| commitdiff \| tree
2022-03-07	Michael Thomas	Fix build	commit \| commitdiff \| tree
2022-03-04	Michael Thomas	Remove side-effecting variants from `typing_coercion`	commit \| commitdiff \| tree
2022-03-04	Michael Thomas	Remove side-effecting variants from `typing_object_get`	commit \| commitdiff \| tree
2022-03-01	Michael Thomas	Add union type	commit \| commitdiff \| tree
2022-03-01	Michael Thomas	Add inference environment	commit \| commitdiff \| tree
2022-03-01	Michael Thomas	Lazily evaluate components of `User_error.t`	commit \| commitdiff \| tree
2022-03-01	Michael Thomas	Expose pure variants from `typing_subtype` and modules...	commit \| commitdiff \| tree
2022-02-28	Michael Thomas	it:[rupro] Add constraints & propositions	commit \| commitdiff \| tree
2022-02-28	Michael Thomas	Avoid singletons	commit \| commitdiff \| tree
2022-02-28	Michael Thomas	Eliminate `ignore_errors` callback	commit \| commitdiff \| tree
2022-02-28	Michael Thomas	Add `map_env` variants for use with functions returning...	commit \| commitdiff \| tree
2022-02-28	Michael Thomas	Add helper functions for working with intersections...	commit \| commitdiff \| tree
2022-02-28	Michael Thomas	Add tyvars as newtype wrapper on idents	commit \| commitdiff \| tree
2022-02-28	Michael Thomas	Remove side effects from internal helpers	commit \| commitdiff \| tree
2022-02-28	Michael Thomas	Update subtyping `obj_get` call to ignore `HH_FIXME`s	commit \| commitdiff \| tree
2022-02-14	Michael Thomas	Introduce `Multiple` and `Union` constructors for ...	commit \| commitdiff \| tree
2022-02-14	Michael Thomas	Introduce `Intersect` typing errors	commit \| commitdiff \| tree
2022-02-09	Michael Thomas	Replace redundant `NAST_check_error`	commit \| commitdiff \| tree
2022-02-08	Michael Thomas	Move complex error to helper function	commit \| commitdiff \| tree
2022-02-08	Michael Thomas	Remove reliance on error ordering	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Remove side effect from `smember_not_found`	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Factor out logging	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Lift side effects	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Move side effects from error helper	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Group error side effects	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Pull `member_info` `Some ...` case out of `obj_get_concrete_...	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Pull `member_info` `None` cases out of `obj_get_concrete_class`	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Refactor `obj_get_concrete_ty`	commit \| commitdiff \| tree
2022-02-07	Michael Thomas	Move `obj_get_concrete_ty` class case to own function	commit \| commitdiff \| tree
2022-02-04	Michael Thomas	Refactor `obj_get_inner` generic case	commit \| commitdiff \| tree
2022-02-04	Michael Thomas	Move `obj_get_inner` intersection case to own function	commit \| commitdiff \| tree
2022-02-04	Michael Thomas	Move `obj_get_inner` union case to own function	commit \| commitdiff \| tree
2022-02-04	Michael Thomas	Revert D33942724	commit \| commitdiff \| tree
2022-02-03	Michael Thomas	Break `obj_get_inner` into smaller functions	commit \| commitdiff \| tree
2022-02-02	Michael Thomas	Move common `typing_object_get` arguments into record	commit \| commitdiff \| tree
2022-02-02	Michael Thomas	Pull side effects out of `typing_visibility`	commit \| commitdiff \| tree
2022-02-02	Michael Thomas	Pull side effects out of `typing_dynamic`	commit \| commitdiff \| tree
2022-01-27	Michael Thomas	Move side effect out of `typing_well_formedness`	commit \| commitdiff \| tree
2022-01-26	Michael Thomas	Create a `Variance` type	commit \| commitdiff \| tree
2022-01-20	Michael Thomas	Add `Assert_in_current_decl` combinator to `Typing_error...	commit \| commitdiff \| tree
2022-01-19	Michael Thomas	Add `Assert_in_current_decl` constructor to `Typing_error.t`	commit \| commitdiff \| tree
2022-01-14	Michael Thomas	Move rendering of `Secondary.t` errors to individual...	commit \| commitdiff \| tree
2022-01-14	Michael Thomas	Enable logging of specific typing errors using `Typing_error...	commit \| commitdiff \| tree
2022-01-13	Michael Thomas	replace `final_this` with explicit `Secondary.t` error	commit \| commitdiff \| tree
next

RSS Atom