Public Git Hosting - hiphop-php.git/search

2019-05-13	Catherine Gasnier	rename Tunresolved to Tunion	commit \| commitdiff \| tree
2019-05-13	Catherine Gasnier	type circularity error should not show type variables	commit \| commitdiff \| tree
2019-05-02	Catherine Gasnier	remove --fallback-out-ext option	commit \| commitdiff \| tree
2019-05-01	Catherine Gasnier	avoid creating too many type variables in expand_type_and_narrow	commit \| commitdiff \| tree
2019-05-01	Catherine Gasnier	hh_force_solve pseudofunction	commit \| commitdiff \| tree
2019-05-01	Catherine Gasnier	fix review.sh when .exp does not exist	commit \| commitdiff \| tree
2019-04-30	Catherine Gasnier	allow to pass --out-extension to hh_single_type_check	commit \| commitdiff \| tree
2019-04-30	Catherine Gasnier	for files which time out, log the environment when...	commit \| commitdiff \| tree
2019-04-26	Catherine Gasnier	compile with facebook state_loader if available	commit \| commitdiff \| tree
2019-04-26	Catherine Gasnier	transform subtype assertions involving Tany into subtype...	commit \| commitdiff \| tree
2019-04-25	Catherine Gasnier	fix review.sh for dune.sh	commit \| commitdiff \| tree
2019-04-17	Catherine Gasnier	allow to build with release profile	commit \| commitdiff \| tree
2019-04-15	Catherine Gasnier	make opam_cleanup.sh work from any directory	commit \| commitdiff \| tree
2019-04-14	Catherine Gasnier	remove all_locals	commit \| commitdiff \| tree
2019-04-14	Catherine Gasnier	remove pending lvar mechanism	commit \| commitdiff \| tree
2019-04-14	Catherine Gasnier	replace Local_id.get with Local_id.make_unscoped	commit \| commitdiff \| tree
2019-04-12	Catherine Gasnier	anonymous function should not capture variables not...	commit \| commitdiff \| tree
2019-04-10	Catherine Gasnier	avoid race condition on tests in typecheck/new_inference...	commit \| commitdiff \| tree
2019-04-08	Catherine Gasnier	workaround for dune bug	commit \| commitdiff \| tree
2019-03-29	Catherine Gasnier	somehow printing the stack messes up the stack trace	commit \| commitdiff \| tree
2019-03-26	Catherine Gasnier	test with both old and new inference	commit \| commitdiff \| tree
2019-03-23	Catherine Gasnier	check_todo should be done after variable solving	commit \| commitdiff \| tree
2019-03-22	Catherine Gasnier	remove unneeded todo in typing_generic	commit \| commitdiff \| tree
2019-03-22	Catherine Gasnier	with new inference, allow matching a vec<C> against...	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	flip the switch on tast tests	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	fix hh compilation on trunk	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	fix dumpsymbolinfo tests	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	fix dynamic_view test	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	expand_type_and_solve should normalize unions	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	account for return type of lambda when setting variance	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	bug in tyvar_is_solved	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	fix regression in completeness due to removing remove_equiva...	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	remove Env.remove_equivalent_tyvars	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	remove calls to get_tyvar_upper/lower_bounds outside...	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	fix infer_return_types test	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	restore behavior of lint on C\contains and C\contains_key	commit \| commitdiff \| tree
2019-03-21	Catherine Gasnier	fix dumpsymbolinfo tests	commit \| commitdiff \| tree
2019-03-20	Catherine Gasnier	hh_show does not show the type variable numbers	commit \| commitdiff \| tree
2019-03-20	Catherine Gasnier	improve error message when type constraint is violated	commit \| commitdiff \| tree
2019-03-19	Catherine Gasnier	refacto of check_args (in call_)	commit \| commitdiff \| tree
2019-03-14	Catherine Gasnier	Typing_log should flush what it logs	commit \| commitdiff \| tree
2019-03-07	Catherine Gasnier	await might throw	commit \| commitdiff \| tree
2019-03-07	Catherine Gasnier	Fix typing of non-exhaustive switch statements	commit \| commitdiff \| tree
2019-02-21	Catherine Gasnier	call union_list after doing obj_get or class_get on...	commit \| commitdiff \| tree
2019-02-21	Catherine Gasnier	simplify unions in hovered types	commit \| commitdiff \| tree
2019-02-19	Catherine Gasnier	construct union of lower bounds with union_list	commit \| commitdiff \| tree
2019-02-19	Catherine Gasnier	add function union_list to compute the union of a list...	commit \| commitdiff \| tree
2019-02-14	Catherine Gasnier	refactoring the normalization of bounds before solving	commit \| commitdiff \| tree
2019-02-14	Catherine Gasnier	fix error parser (python)	commit \| commitdiff \| tree
2019-02-12	Catherine Gasnier	further simplification in disjunction smart ctor	commit \| commitdiff \| tree
2019-02-08	Catherine Gasnier	refactoring in Typing_union	commit \| commitdiff \| tree
2019-02-08	Catherine Gasnier	in verbose mode, print Tunresolved[null;t] as "(null...	commit \| commitdiff \| tree
2019-02-08	Catherine Gasnier	minor fix in typing_union: normalize unions with null	commit \| commitdiff \| tree
2019-02-08	Catherine Gasnier	log various type variable creation	commit \| commitdiff \| tree
2019-02-08	Catherine Gasnier	deal with type constants	commit \| commitdiff \| tree
2019-02-07	Catherine Gasnier	fix bug where unions involving 'any' were not commutative	commit \| commitdiff \| tree
2019-02-06	Catherine Gasnier	print stack trace and position when exception occurs	commit \| commitdiff \| tree
2019-02-06	Catherine Gasnier	fix exception on calls to map2_env	commit \| commitdiff \| tree
2019-02-04	Catherine Gasnier	option to only compare error lines	commit \| commitdiff \| tree
2019-02-04	Catherine Gasnier	updating doc comment in hh_server	commit \| commitdiff \| tree
2019-02-04	Catherine Gasnier	simplify singleton Tunresolved	commit \| commitdiff \| tree
2019-02-04	Catherine Gasnier	keep Tany in unions	commit \| commitdiff \| tree
2019-02-04	Catherine Gasnier	be more aggressive in normalizing unions	commit \| commitdiff \| tree
2019-02-04	Catherine Gasnier	bug: arguments of check_constraint were swapped	commit \| commitdiff \| tree
2019-02-04	Catherine Gasnier	further refactoring when refining to a generic class	commit \| commitdiff \| tree
2019-02-04	Catherine Gasnier	In type param env, simplify type params which are equal	commit \| commitdiff \| tree
2019-02-01	Catherine Gasnier	add option --saved-state-ignore-hhconfig similar to...	commit \| commitdiff \| tree
2019-01-29	Catherine Gasnier	YASOF (yet another stack overflow fix)	commit \| commitdiff \| tree
2019-01-28	Catherine Gasnier	have timeout per method or function rather than per...	commit \| commitdiff \| tree
2019-01-28	Catherine Gasnier	adding .mli for typing_union	commit \| commitdiff \| tree
2019-01-10	Catherine Gasnier	add now working test	commit \| commitdiff \| tree
2019-01-10	Catherine Gasnier	'as' expression may throw: save local types in 'catch...	commit \| commitdiff \| tree
2019-01-10	Catherine Gasnier	fix stack overflow	commit \| commitdiff \| tree
2019-01-08	Catherine Gasnier	refactoring in add_tyvar_upper/lower_bound	commit \| commitdiff \| tree
2018-12-21	Catherine Gasnier	disjunction of constraints: take the first one that...	commit \| commitdiff \| tree
2018-12-20	Catherine Gasnier	test with instanceof refinement	commit \| commitdiff \| tree
2018-12-14	Catherine Gasnier	more tests	commit \| commitdiff \| tree
2018-12-12	Catherine Gasnier	tests with recursive constraints	commit \| commitdiff \| tree
2018-12-07	Catherine Gasnier	bound contravariant with no upper bound to mixed	commit \| commitdiff \| tree
2018-12-07	Catherine Gasnier	Tany as subtype is valid	commit \| commitdiff \| tree
2018-12-07	Catherine Gasnier	solve invariant vars at end of fun / method	commit \| commitdiff \| tree
2018-12-07	Catherine Gasnier	log remaining unsolved constraints	commit \| commitdiff \| tree
2018-12-04	Catherine Gasnier	allow running all tests with --new-inference and -...	commit \| commitdiff \| tree
2018-12-03	Catherine Gasnier	Always show tvars with new inference flag	commit \| commitdiff \| tree
2018-12-03	Catherine Gasnier	timeout on tests in non-batch mode	commit \| commitdiff \| tree
2018-11-30	Catherine Gasnier	avoid having "TRUE &&" hanging around in constraints	commit \| commitdiff \| tree
2018-11-26	Catherine Gasnier	add --all-errors flag to new_inference test directory	commit \| commitdiff \| tree
2018-11-26	Catherine Gasnier	log unsolved constraints at end of function or method	commit \| commitdiff \| tree
2018-11-21	Catherine Gasnier	a few corrections with Tany	commit \| commitdiff \| tree
2018-11-14	Catherine Gasnier	fix nightly build	commit \| commitdiff \| tree
2018-11-13	Catherine Gasnier	move opam mini repo in its own subdir	commit \| commitdiff \| tree
2018-11-13	Catherine Gasnier	OSS: build hh with dune	commit \| commitdiff \| tree
2018-11-05	Catherine Gasnier	add Typing_return.mli	commit \| commitdiff \| tree
2018-10-29	Catherine Gasnier	adding a test for find_refs for dead code	commit \| commitdiff \| tree
2018-10-27	Catherine Gasnier	traverse dead code to properly add dependencies	commit \| commitdiff \| tree
2018-10-24	Catherine Gasnier	Phase to typecheck the TAST (prototype)	commit \| commitdiff \| tree
2018-10-19	Catherine Gasnier	log inference constraints into Scuba	commit \| commitdiff \| tree
2018-10-18	Catherine Gasnier	splitting lint.ml	commit \| commitdiff \| tree
2018-10-17	Catherine Gasnier	change type of unbound_mode	commit \| commitdiff \| tree
2018-10-17	Catherine Gasnier	rename functions in Local_id	commit \| commitdiff \| tree
next

RSS Atom