Public Git Hosting - hiphop-php.git/search

2020-01-24	Catherine Gasnier	don't recreate global type var if it already exists	commit \| commitdiff \| tree
2020-01-24	Catherine Gasnier	fix bug where env was dropped	commit \| commitdiff \| tree
2020-01-24	Catherine Gasnier	avoid crashing with exceptions and surface as an error...	commit \| commitdiff \| tree
2020-01-23	Catherine Gasnier	fix bug where environment was wrongly dropped, loosing...	commit \| commitdiff \| tree
2020-01-23	Catherine Gasnier	raise exception when setting type constant or PU access...	commit \| commitdiff \| tree
2020-01-23	Catherine Gasnier	raise exception when setting bounds of already solved...	commit \| commitdiff \| tree
2020-01-23	Catherine Gasnier	raise exception when setting variance on solved type var	commit \| commitdiff \| tree
2020-01-22	Catherine Gasnier	remove dead module Typing_gather_defined	commit \| commitdiff \| tree
2020-01-22	Catherine Gasnier	avoid crashing with exceptions for all AST definitions	commit \| commitdiff \| tree
2020-01-22	Catherine Gasnier	fix none position in wrap_ty_in_var	commit \| commitdiff \| tree
2020-01-22	Catherine Gasnier	call type simplifier with Env.add instead of Typing_solver...	commit \| commitdiff \| tree
2020-01-20	Catherine Gasnier	still add type var to inference env even when outside...	commit \| commitdiff \| tree
2020-01-20	Catherine Gasnier	more type simplifier tests	commit \| commitdiff \| tree
2020-01-20	Catherine Gasnier	introduce unit testing with OUnit	commit \| commitdiff \| tree
2020-01-14	Catherine Gasnier	tyvar_occurrences was not maintained properly when...	commit \| commitdiff \| tree
2020-01-13	Catherine Gasnier	move tyvar_occurrences field from Typing_env_types...	commit \| commitdiff \| tree
2020-01-13	Catherine Gasnier	don't create global type vars for lambdas	commit \| commitdiff \| tree
2020-01-13	Catherine Gasnier	clean up codemoder for parameters and returns, clean...	commit \| commitdiff \| tree
2020-01-09	Catherine Gasnier	refactor inference environment	commit \| commitdiff \| tree
2019-12-17	Catherine Gasnier	fix test timeout	commit \| commitdiff \| tree
2019-12-17	Catherine Gasnier	simplify update_lost_info	commit \| commitdiff \| tree
2019-12-16	Catherine Gasnier	put type var occurrence info into an abstract type	commit \| commitdiff \| tree
2019-12-09	Catherine Gasnier	remove unused on_infinite_tvar method in Type_mapper	commit \| commitdiff \| tree
2019-11-22	Catherine Gasnier	non_null does intersection with Tnonnull	commit \| commitdiff \| tree
2019-11-22	Catherine Gasnier	better detection of early solve failure	commit \| commitdiff \| tree
2019-11-22	Catherine Gasnier	basic_reactivity_check missing match case for intersection	commit \| commitdiff \| tree
2019-11-22	Catherine Gasnier	introduce simple unions and intersections for constraint...	commit \| commitdiff \| tree
2019-11-15	Catherine Gasnier	Back out "non_null does intersection with Tnonnull"	commit \| commitdiff \| tree
2019-11-15	Catherine Gasnier	non_null does intersection with Tnonnull	commit \| commitdiff \| tree
2019-11-15	Catherine Gasnier	simplify unions after solving type variables	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	missing expand_types in simplify_subtype	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	more missing expand_types 2	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	more missing expand_type	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	adding missing expand_type	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	rework Typing_expr_dep_type.make	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	better subtyping with intersection on the left and...	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	call `union_list` instead of `Tunion` constructor in...	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	call union_list instead of Tunion in array_filter	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	do expand_type instead of fully_expand in typing_union	commit \| commitdiff \| tree
2019-11-13	Catherine Gasnier	missing expand_type before creating reason Rinstantiate	commit \| commitdiff \| tree
2019-11-12	Catherine Gasnier	more logging in typing_union	commit \| commitdiff \| tree
2019-11-12	Catherine Gasnier	make_union creates ~?A instead of ?~A	commit \| commitdiff \| tree
2019-11-12	Catherine Gasnier	kill `ensure_option`	commit \| commitdiff \| tree
2019-11-11	Catherine Gasnier	adding some missing expand_type	commit \| commitdiff \| tree
2019-11-11	Catherine Gasnier	update tyvar_occurrences when doing var binding	commit \| commitdiff \| tree
2019-11-11	Catherine Gasnier	introduce env.tyvar_occurrences	commit \| commitdiff \| tree
2019-11-11	Catherine Gasnier	bug in typechecking of conditions with \|\|	commit \| commitdiff \| tree
2019-11-07	Catherine Gasnier	remove is_tvar	commit \| commitdiff \| tree
2019-11-04	Catherine Gasnier	fix type var recursive binding	commit \| commitdiff \| tree
2019-11-01	Catherine Gasnier	kill hm_nullsafe field in Thas_member	commit \| commitdiff \| tree
2019-11-01	Catherine Gasnier	typecheck Obj_get using subtyping	commit \| commitdiff \| tree
2019-10-31	Catherine Gasnier	kill flatten_unresolved	commit \| commitdiff \| tree
2019-10-30	Catherine Gasnier	Implement subtyping of Thas_member using obj_get	commit \| commitdiff \| tree
2019-10-30	Catherine Gasnier	Complete subtyping relationship with constraint types...	commit \| commitdiff \| tree
2019-10-30	Catherine Gasnier	fix a few bugs after introduction of Thas_member	commit \| commitdiff \| tree
2019-10-18	Catherine Gasnier	improve debuggability of verify.py	commit \| commitdiff \| tree
2019-10-17	Catherine Gasnier	keep 20 old log files around	commit \| commitdiff \| tree
2019-10-11	Catherine Gasnier	implement type comparison for constraint types	commit \| commitdiff \| tree
2019-10-11	Catherine Gasnier	remaining todos for constraint types: get_tyvars, ty_size	commit \| commitdiff \| tree
2019-10-11	Catherine Gasnier	accessing C::T when T is abstract should be forbidden...	commit \| commitdiff \| tree
2019-10-11	Catherine Gasnier	reorganize simplify_subtype to make certain cases work...	commit \| commitdiff \| tree
2019-10-10	Catherine Gasnier	change build info revision to be the full hg commit...	commit \| commitdiff \| tree
2019-10-07	Catherine Gasnier	implement printing of constraint types	commit \| commitdiff \| tree
2019-10-07	Catherine Gasnier	introduce new type of types: constraint types	commit \| commitdiff \| tree
2019-10-07	Catherine Gasnier	clarification comment for inference functions	commit \| commitdiff \| tree
2019-10-07	Catherine Gasnier	remove useless env'	commit \| commitdiff \| tree
2019-10-02	Catherine Gasnier	move obj_get to its own module	commit \| commitdiff \| tree
2019-09-18	Catherine Gasnier	kill fold_unresolved	commit \| commitdiff \| tree
2019-09-13	Catherine Gasnier	forbid usage of push_option_out outside Typing_solver	commit \| commitdiff \| tree
2019-09-13	Catherine Gasnier	proper control flow typing for goto	commit \| commitdiff \| tree
2019-09-13	Catherine Gasnier	simplify Typing_union	commit \| commitdiff \| tree
2019-09-06	Catherine Gasnier	remove dead function diff	commit \| commitdiff \| tree
2019-09-05	Catherine Gasnier	remove dead parameter in make_union	commit \| commitdiff \| tree
2019-08-28	Catherine Gasnier	separate typing_env_types and typing_env	commit \| commitdiff \| tree
2019-08-22	Catherine Gasnier	more complete treatement of arithmetics involving ints	commit \| commitdiff \| tree
2019-08-22	Catherine Gasnier	add constraint on args when calling with any as function...	commit \| commitdiff \| tree
2019-08-01	Catherine Gasnier	account for any when binding to equal bound	commit \| commitdiff \| tree
2019-07-31	Catherine Gasnier	declutter logging for the "sub" category	commit \| commitdiff \| tree
2019-07-31	Catherine Gasnier	remove Continuation_not_found exception altogether	commit \| commitdiff \| tree
2019-07-17	Catherine Gasnier	simplify_unions always calls simplify_intersections	commit \| commitdiff \| tree
2019-07-08	Catherine Gasnier	remove usage of non_null in typing of await	commit \| commitdiff \| tree
2019-07-08	Catherine Gasnier	remove usage of non_null in check for __AtMostRxAsFunc	commit \| commitdiff \| tree
2019-07-08	Catherine Gasnier	fix assignment in eif	commit \| commitdiff \| tree
2019-07-07	Catherine Gasnier	Refine expression to type of null at conditions	commit \| commitdiff \| tree
2019-07-07	Catherine Gasnier	refinement of conjunctions and disjunctions	commit \| commitdiff \| tree
2019-07-07	Catherine Gasnier	solve contravariant type vars to intersection of upper...	commit \| commitdiff \| tree
2019-07-07	Catherine Gasnier	simplify intersections after closing tyvar scope	commit \| commitdiff \| tree
2019-07-07	Catherine Gasnier	refine using intersections	commit \| commitdiff \| tree
2019-07-04	Catherine Gasnier	make expr dependent type from intersection	commit \| commitdiff \| tree
2019-06-28	Catherine Gasnier	complete the `sub_type` function for intersection	commit \| commitdiff \| tree
2019-06-28	Catherine Gasnier	shape intersection	commit \| commitdiff \| tree
2019-06-28	Catherine Gasnier	type constant access on intersections	commit \| commitdiff \| tree
2019-06-28	Catherine Gasnier	more uses of run_on_intersection	commit \| commitdiff \| tree
2019-06-28	Catherine Gasnier	simplify intersections the same way as unions	commit \| commitdiff \| tree
2019-06-28	Catherine Gasnier	logging for intersect function	commit \| commitdiff \| tree
2019-06-28	Catherine Gasnier	intersect with unions	commit \| commitdiff \| tree
2019-06-28	Catherine Gasnier	proper treatment of sketchy types with intersections	commit \| commitdiff \| tree
2019-06-27	Catherine Gasnier	account for diff in hh_fixmes to decide whether to...	commit \| commitdiff \| tree
2019-06-20	Catherine Gasnier	simplify bounds containing the type variable itself	commit \| commitdiff \| tree
2019-06-20	Catherine Gasnier	call with intersection of fun types	commit \| commitdiff \| tree
next

RSS Atom