Public Git Hosting - hiphop-php.git/search

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
2021-08-18	Michael Thomas	Back out "Add dynamic-type of $this dependent coeffects...	commit \| commitdiff \| tree
2021-08-17	Michael Thomas	Back out "make decl hash sqlite column an integer instead...	commit \| commitdiff \| tree
2021-08-14	Michael Thomas	Generate distinct error when indexing covariant containers	commit \| commitdiff \| tree
2021-08-12	Michael Thomas	Reinstate error on tuple array get with non-int	commit \| commitdiff \| tree
2021-08-06	Michael Thomas	`Hole` on 4005 (ArrayAccessRead)	commit \| commitdiff \| tree
2021-08-05	Michael Thomas	add `Hole` on arguments to `echo` special function	commit \| commitdiff \| tree
2021-08-05	Michael Thomas	prefer `string` or `int` to `arraykey` when adding...	commit \| commitdiff \| tree
2021-07-30	Michael Thomas	add `Hole` on ill-typed sub-expressions in string interpolat...	commit \| commitdiff \| tree
2021-07-30	Michael Thomas	convert `UNSAFE_CAST` `Hole`s back to `Call` during...	commit \| commitdiff \| tree
2021-07-30	Michael Thomas	Add `Hole` to array get's on nullable containers not...	commit \| commitdiff \| tree
2021-07-30	Michael Thomas	Expected type for `Map` index expression should be...	commit \| commitdiff \| tree
2021-07-30	Michael Thomas	Remove tast check warning for containers with covariant...	commit \| commitdiff \| tree
2021-07-14	Michael Thomas	add `--extract-standalone` usage to help	commit \| commitdiff \| tree
2021-07-08	Michael Thomas	`Hole` on ill-typed set append	commit \| commitdiff \| tree
2021-07-07	Michael Thomas	Extract all class dependencies from type hints	commit \| commitdiff \| tree
2021-06-29	Michael Thomas	`Hole` on non-arraykey values in keyset literals	commit \| commitdiff \| tree
2021-06-29	Michael Thomas	Move `UNSAFE_CAST` to `HH\FIXME`	commit \| commitdiff \| tree
2021-06-22	Michael Thomas	Add optional string-literal param to `HH_FIXME\UNSAFE_CAST`	commit \| commitdiff \| tree
2021-06-22	Michael Thomas	rename `unsafe_cast` to `HH_FIXME\UNSAFE_CAST`	commit \| commitdiff \| tree
2021-06-08	Michael Thomas	Do not render properties that appear via constructor...	commit \| commitdiff \| tree
2021-06-08	Michael Thomas	extract type parameter constraint dependencies	commit \| commitdiff \| tree
2021-06-07	Michael Thomas	extract as dependencies classes appearing in arguments...	commit \| commitdiff \| tree
2021-06-07	Michael Thomas	escape char in string literals	commit \| commitdiff \| tree
2021-06-04	Michael Thomas	Add `Tvec_or_dict` case to type comparison	commit \| commitdiff \| tree
2021-06-03	Michael Thomas	Add TAST `Hole`s to ill-typed xhp attributes	commit \| commitdiff \| tree
2021-05-24	Michael Thomas	add `Hole`s to ill-typed index expressions	commit \| commitdiff \| tree
2021-05-24	Michael Thomas	add `Hole` for string append	commit \| commitdiff \| tree
2021-05-19	Michael Thomas	Allow multiple arguments to `unsafe_cast` and represent...	commit \| commitdiff \| tree
2021-05-19	Michael Thomas	add test case for expression dependent type	commit \| commitdiff \| tree
next

RSS Atom