Public Git Hosting - hiphop-php.git/search

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
2022-01-11	Michael Thomas	Translate non-conforming errors which 'append' secondary...	commit \| commitdiff \| tree
2022-01-06	Michael Thomas	Introduce secondary errors in place of explicit application...	commit \| commitdiff \| tree
2022-01-06	Michael Thomas	Disallow explicit application of `Typing_error.Callback`s	commit \| commitdiff \| tree
2022-01-04	Michael Thomas	Move newly created errors	commit \| commitdiff \| tree
2021-12-15	Michael Thomas	Do not drop error codes when calling bad_decl_override	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Defunctionalize typing errors	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Eliminate callback which generates multiple errors	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Rephrase typing errors using combinators	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Refactor nast check errors	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Nast check error representation	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Refactor naming errors	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Naming error representation	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Simplify `Phase_error` interface and update parsing...	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Move `error_` to its own module	commit \| commitdiff \| tree
2021-12-14	Michael Thomas	Parsing error representation	commit \| commitdiff \| tree
2021-11-15	Michael Thomas	Update function name in lint message	commit \| commitdiff \| tree
2021-11-04	Michael Thomas	Correct the name of the unsafe cast function to ensure...	commit \| commitdiff \| tree
2021-10-25	Michael Thomas	No error on use of `unsafe_cast`	commit \| commitdiff \| tree
2021-09-28	Michael Thomas	Prefer casting to mutable equivalent of collection...	commit \| commitdiff \| tree
2021-09-08	Michael Thomas	Add `fmt.0.8.9` to mini repo	commit \| commitdiff \| tree
2021-08-26	Michael Thomas	Add `Hole` on 4053 (MemberNotFound) errors	commit \| commitdiff \| tree
2021-08-26	Michael Thomas	Add `Hole` on 4062 (NonObjectMemberRead) errors	commit \| commitdiff \| tree
2021-08-25	Michael Thomas	Add `Hole`s on 4064 (NullMemberRead) warnings	commit \| commitdiff \| tree
2021-08-25	Michael Thomas	add `Hole` on `ExpectedClass` (4026) errors	commit \| commitdiff \| tree
2021-08-25	Michael Thomas	add `Hole` to indexed expression for array write &...	commit \| commitdiff \| tree
2021-08-19	Michael Thomas	Fix failing test	commit \| commitdiff \| tree
2021-08-18	Michael Thomas	Back out "add symbol level decl hash to naming table"	commit \| commitdiff \| tree
next

RSS Atom