Public Git Hosting - hiphop-php.git/search

2019-07-08	Sasha Manzyuk	Remove unused parameter of Typing_shapes.shrink_shape	commit \| commitdiff \| tree
2019-07-08	Sasha Manzyuk	Implement refinement by Shapes::keyExists checks using...	commit \| commitdiff \| tree
2019-07-04	Sasha Manzyuk	Get rid of tracking unset fields in the shape type	commit \| commitdiff \| tree
2019-07-03	Sasha Manzyuk	Use optional shape fields of type nothing to represent...	commit \| commitdiff \| tree
2019-07-03	Sasha Manzyuk	Simplify subtyping of shapes	commit \| commitdiff \| tree
2019-07-02	Sasha Manzyuk	Improve the error message of "primary error position...	commit \| commitdiff \| tree
2019-07-01	Sasha Manzyuk	Fix positions of Awaitall nodes produced by parsing...	commit \| commitdiff \| tree
2019-06-26	Sasha Manzyuk	Remove unused functions from the Errors module	commit \| commitdiff \| tree
2019-06-24	Sasha Manzyuk	Fix creation of expression dependent types from nullable...	commit \| commitdiff \| tree
2019-06-24	Sasha Manzyuk	Replace Unsat f with Disj (f, [])	commit \| commitdiff \| tree
2019-06-21	Sasha Manzyuk	Better error messages for disjunctions: propagate the...	commit \| commitdiff \| tree
2019-06-18	Sasha Manzyuk	Display full types when printing generic type mismatch...	commit \| commitdiff \| tree
2019-06-18	Sasha Manzyuk	Fix the primary position of error messages for invalid...	commit \| commitdiff \| tree
2019-06-17	Sasha Manzyuk	Functions in Typing_subtype don't need to pass around...	commit \| commitdiff \| tree
2019-06-17	Sasha Manzyuk	Better error message from Typing_subtype.sub_string	commit \| commitdiff \| tree
2019-06-17	Sasha Manzyuk	Typing_subtype.sub_string doesn't need to pattern-match...	commit \| commitdiff \| tree
2019-06-17	Sasha Manzyuk	Simplify Tast_utils.sketchy_type_kind	commit \| commitdiff \| tree
2019-06-13	Sasha Manzyuk	Remove a redundant case from Typing_subtype.simplify_subtype	commit \| commitdiff \| tree
2019-06-11	Sasha Manzyuk	Rename is_sub_type into is_sub_type_LEGACY_DEPRECATED	commit \| commitdiff \| tree
2019-06-10	Sasha Manzyuk	is_sub_type_alt doesn't need to take no_to_bottom argument	commit \| commitdiff \| tree
2019-06-10	Sasha Manzyuk	process_simplify_subtype_result doesn't need to thread...	commit \| commitdiff \| tree
2019-06-07	Sasha Manzyuk	Obj_get_check should not report an error when the receiver...	commit \| commitdiff \| tree
2019-06-05	Sasha Manzyuk	Remove the special case of typing null checks	commit \| commitdiff \| tree
2019-06-03	Sasha Manzyuk	Clean up unused functions in Typing_utils	commit \| commitdiff \| tree
2019-06-03	Sasha Manzyuk	Replace "Is dynamic?" check based on case analysis...	commit \| commitdiff \| tree
2019-06-03	Sasha Manzyuk	Replace a few "Is option?" checks based on cases analysis...	commit \| commitdiff \| tree
2019-05-31	Sasha Manzyuk	Don't discard the environment when type checking a...	commit \| commitdiff \| tree
2019-05-29	Sasha Manzyuk	Solve unsolved type variables when done type checking...	commit \| commitdiff \| tree
2019-05-29	Sasha Manzyuk	Solve unsolved type variables when done type checking...	commit \| commitdiff \| tree
2019-05-29	Sasha Manzyuk	Solve all unsolved type variables when done type checking...	commit \| commitdiff \| tree
2019-05-23	Sasha Manzyuk	Thread only this_ty instead of the whole ety_env	commit \| commitdiff \| tree
2019-05-23	Sasha Manzyuk	Remove unused function parameter	commit \| commitdiff \| tree
2019-05-23	Sasha Manzyuk	Fix static class property/method lookup in unions	commit \| commitdiff \| tree
2019-05-21	Sasha Manzyuk	Close type variables when done type checking a class...	commit \| commitdiff \| tree
2019-05-17	Sasha Manzyuk	Don't lose constraints when solving for type variables...	commit \| commitdiff \| tree
2019-05-15	Sasha Manzyuk	Don't produce additional errors when type checking...	commit \| commitdiff \| tree
2019-05-15	Sasha Manzyuk	Improve error messages produced for shape indexing...	commit \| commitdiff \| tree
2019-05-10	Sasha Manzyuk	Gate the change from D15279318 by the new_inference...	commit \| commitdiff \| tree
2019-05-10	Sasha Manzyuk	Make ty <: ?ty hold if ty is an expression dependent...	commit \| commitdiff \| tree
2019-05-07	Sasha Manzyuk	Convert empty unions to JSON in the same way as the...	commit \| commitdiff \| tree
2019-05-02	Sasha Manzyuk	Make the --config flag of hh_server actually work	commit \| commitdiff \| tree
2019-05-01	Sasha Manzyuk	Allow format strings to be appended as regular strings	commit \| commitdiff \| tree
2019-05-01	Sasha Manzyuk	Use Typing_print.debug instead of Typing_print.full...	commit \| commitdiff \| tree
2019-04-29	Sasha Manzyuk	Improve positions for errors due to non-Awaitable expected...	commit \| commitdiff \| tree
2019-04-26	Sasha Manzyuk	Fix type-checking of calls to parent::__construct in...	commit \| commitdiff \| tree
2019-04-25	Sasha Manzyuk	Invalid memoized param error should point to the param...	commit \| commitdiff \| tree
2019-04-25	Sasha Manzyuk	Break the dependency of Typing_ops on Typing_coercion	commit \| commitdiff \| tree
2019-04-25	Sasha Manzyuk	Break the dependency of Typing_ops on Typing_phase	commit \| commitdiff \| tree
2019-04-25	Sasha Manzyuk	Break the dependency of Typing_ops on Typing_subtype	commit \| commitdiff \| tree
2019-04-25	Sasha Manzyuk	Remove unused module aliases	commit \| commitdiff \| tree
2019-04-05	Sasha Manzyuk	Rename noreturn to nothing in the spec	commit \| commitdiff \| tree
2019-04-05	Sasha Manzyuk	HHVM and HackC support for the nothing type	commit \| commitdiff \| tree
2019-04-05	Sasha Manzyuk	Fix the spec	commit \| commitdiff \| tree
2019-04-05	Sasha Manzyuk	Extend hh_server with a refactoring allowing to rewrite...	commit \| commitdiff \| tree
2019-04-02	Sasha Manzyuk	Fall back to eager solving when narrowing fails	commit \| commitdiff \| tree
2019-03-28	Sasha Manzyuk	Add TypeStructureKind::OF_NULL to HHI	commit \| commitdiff \| tree
2019-03-04	Sasha Manzyuk	Improve error messages produced by the new inference...	commit \| commitdiff \| tree
2019-02-28	Sasha Manzyuk	Improve error messages produced by the new inference...	commit \| commitdiff \| tree
2019-02-28	Sasha Manzyuk	Add TypeStructureKind::OF_NULL to HHVM	commit \| commitdiff \| tree
2019-02-26	Sasha Manzyuk	Introduce the empty (bottom) type	commit \| commitdiff \| tree
2019-02-26	Sasha Manzyuk	Localize where constraints when performing NAST checks...	commit \| commitdiff \| tree
2019-02-25	Sasha Manzyuk	Add a flag controlling which HH_FIXMEs are to be ignored...	commit \| commitdiff \| tree
2019-02-21	Sasha Manzyuk	Make nonnull a reserved named	commit \| commitdiff \| tree
2019-02-19	Sasha Manzyuk	Support calling values of generic types constrained...	commit \| commitdiff \| tree
2019-02-08	Sasha Manzyuk	Combine closing type variables with solving	commit \| commitdiff \| tree
2019-02-07	Sasha Manzyuk	Enable safe instanceof in partial mode	commit \| commitdiff \| tree
2019-02-03	Sasha Manzyuk	Eagerly solve the type of the function when type-checking...	commit \| commitdiff \| tree
2019-02-03	Sasha Manzyuk	Eagerly solve the types of the arguments of await expressions	commit \| commitdiff \| tree
2019-02-01	Sasha Manzyuk	Yet another class of false positives that can be fixed...	commit \| commitdiff \| tree
2019-01-31	Sasha Manzyuk	Eagerly solve the type of an unpacked function argument...	commit \| commitdiff \| tree
2019-01-30	Sasha Manzyuk	Correctly thread the environment when type-checking...	commit \| commitdiff \| tree
2019-01-28	Sasha Manzyuk	Use Typing_subtype.expand_type_and_solve in Typing_shapes...	commit \| commitdiff \| tree
2019-01-28	Sasha Manzyuk	More constraint-friendly way of type-checking the ...	commit \| commitdiff \| tree
2019-01-24	Sasha Manzyuk	Expand the bounds when solving type variables	commit \| commitdiff \| tree
2019-01-24	Sasha Manzyuk	Eliminate redundant subtyping checks against mixed	commit \| commitdiff \| tree
2019-01-22	Sasha Manzyuk	Make type refinement by Shapes::keyExists tests work...	commit \| commitdiff \| tree
2019-01-22	Sasha Manzyuk	Support legacy behavior of HH\BuiltinEnum in the new...	commit \| commitdiff \| tree
2019-01-11	Sasha Manzyuk	Add short-circuiting in try_union and try_intersect	commit \| commitdiff \| tree
2019-01-09	Sasha Manzyuk	Eagerly solve the type of the RHS of a list-destructuring...	commit \| commitdiff \| tree
2019-01-07	Sasha Manzyuk	Solve type variables with identical upper and lower...	commit \| commitdiff \| tree
2019-01-07	Sasha Manzyuk	Correctly set the variance of type variables	commit \| commitdiff \| tree
2019-01-07	Sasha Manzyuk	Tobject should not be a subtype of Tclass in strict...	commit \| commitdiff \| tree
2018-12-12	Sasha Manzyuk	Remove bad test	commit \| commitdiff \| tree
2018-12-12	Sasha Manzyuk	Fix type-checking of nested list destructuring under...	commit \| commitdiff \| tree
2018-12-11	Sasha Manzyuk	Kill off tuple-like arrays	commit \| commitdiff \| tree
2018-12-10	Sasha Manzyuk	Formalization of the null type	commit \| commitdiff \| tree
2018-12-10	Sasha Manzyuk	Record a fresh type variable introduced by Typing_return...	commit \| commitdiff \| tree
2018-12-10	Sasha Manzyuk	Add an example of safe but untypeable code	commit \| commitdiff \| tree
2018-12-06	Sasha Manzyuk	Solve fresh type variables introduced during the type...	commit \| commitdiff \| tree
2018-12-06	Sasha Manzyuk	Fix the typing of Shapes::removeKey in the constraint...	commit \| commitdiff \| tree
2018-12-06	Sasha Manzyuk	Typing rules for Shapes::removeKey	commit \| commitdiff \| tree
2018-12-06	Sasha Manzyuk	Keep track of unset fields in an open shape type	commit \| commitdiff \| tree
2018-12-05	Sasha Manzyuk	Fix type-checking of suspend with constraint-based...	commit \| commitdiff \| tree
2018-12-05	Sasha Manzyuk	Add another test case under typecheck/new_inference...	commit \| commitdiff \| tree
2018-12-05	Sasha Manzyuk	Add a test case under typecheck/new_inference/falsepos	commit \| commitdiff \| tree
2018-12-04	Sasha Manzyuk	Properly apply transitivity when moving a subtyping...	commit \| commitdiff \| tree
2018-12-04	Sasha Manzyuk	Collapse equivalent type variables in tvenv	commit \| commitdiff \| tree
2018-12-04	Sasha Manzyuk	Don't add again an already existing upper/lower bound...	commit \| commitdiff \| tree
2018-12-04	Sasha Manzyuk	Create a subtyping constraint between the expanded...	commit \| commitdiff \| tree
2018-12-03	Sasha Manzyuk	Don't create empty unresolved types for wildcard type...	commit \| commitdiff \| tree
next

RSS Atom