Public Git Hosting - hiphop-php.git/search

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
2021-05-19	Michael Thomas	do not add a Hole with well-typed destructure assignments	commit \| commitdiff \| tree
2021-05-19	Michael Thomas	add command to report all TAST `Holes` for a given...	commit \| commitdiff \| tree
2021-05-19	Michael Thomas	report nested TAST `Hole`s correctly when calling ...	commit \| commitdiff \| tree
2021-05-04	Michael Thomas	do not emit `__construct` twice when it is the target...	commit \| commitdiff \| tree
2021-05-04	Michael Thomas	correctly emit shapes with unknown fields only	commit \| commitdiff \| tree
2021-05-04	Michael Thomas	emit where clauses for constructors	commit \| commitdiff \| tree
2021-04-30	Michael Thomas	Add TAST `Hole`s to ill-typed expressions in `foreach...	commit \| commitdiff \| tree
2021-04-30	Michael Thomas	Add TAST `Hole`s to ill-type expressions inside `KeyValueCol...	commit \| commitdiff \| tree
2021-04-30	Michael Thomas	add `Hole`s on rhs of ill-typed assignments	commit \| commitdiff \| tree
2021-04-23	Michael Thomas	add `Hole` on expressions acting as unpacked elements...	commit \| commitdiff \| tree
2021-04-09	Michael Thomas	Add example of `unsafe_cast` to `Hole` docstring	commit \| commitdiff \| tree
2021-04-09	Michael Thomas	represent calls to `unsafe_cast` as TAST `Hole`s	commit \| commitdiff \| tree
2021-04-09	Michael Thomas	Add `Hole` to ill-typed return expression	commit \| commitdiff \| tree
2021-04-09	Michael Thomas	add `type-error-at-pos` command to hh_client	commit \| commitdiff \| tree
2021-04-09	Michael Thomas	add `Hole` TAST annotation to function parameters which...	commit \| commitdiff \| tree
2021-03-18	Michael Thomas	Add AAST `Hole` for subtype/coercion error annotation	commit \| commitdiff \| tree
2021-03-18	Michael Thomas	Return sub- and super-types on failure from coercion...	commit \| commitdiff \| tree
2021-03-08	Michael Thomas	extract dependencies from user attributes	commit \| commitdiff \| tree
2021-03-08	Michael Thomas	add line breaks to generated output to aid readability	commit \| commitdiff \| tree
2021-03-08	Michael Thomas	extract sealed whitelist dependencies	commit \| commitdiff \| tree
2021-02-26	Michael Thomas	render user attributes with parameters	commit \| commitdiff \| tree
2021-02-26	Michael Thomas	Apply update of higher-order function function-type...	commit \| commitdiff \| tree
2021-02-19	Michael Thomas	Add pure context to `extract_standalone_make_default...	commit \| commitdiff \| tree
2021-02-17	Michael Thomas	Render context constants correctly	commit \| commitdiff \| tree
2021-02-17	Michael Thomas	Pretty print method contexts	commit \| commitdiff \| tree
2021-02-16	Michael Thomas	Render higher order functions with contexts dependent...	commit \| commitdiff \| tree
2021-02-16	Michael Thomas	Pretty print function contexts in typedefs	commit \| commitdiff \| tree
2021-02-16	Michael Thomas	pretty print function type hints correctly	commit \| commitdiff \| tree
2021-02-12	Michael Thomas	Remove local memoization to ensure we get up-to-date...	commit \| commitdiff \| tree
2021-02-11	Michael Thomas	Primary position error on enum type constant access	commit \| commitdiff \| tree
2021-02-04	Michael Thomas	Helper function naming conventions	commit \| commitdiff \| tree
2021-02-04	Michael Thomas	Group dependencies by file	commit \| commitdiff \| tree
2021-02-04	Michael Thomas	Refactor: use Unsupported exception rather than failwith	commit \| commitdiff \| tree
2021-02-04	Michael Thomas	Refactor: remove top-level module opens	commit \| commitdiff \| tree
2021-02-03	Michael Thomas	Refactor: move related helper functions into their...	commit \| commitdiff \| tree

RSS Atom