Public Git Hosting - hiphop-php.git/tree

drwxr-xr-x		..
drwxr-xr-x	-	cargo	tree \| history
-rw-r--r--	6838	coverage_level.ml	blob \| blame \| history \| raw
-rw-r--r--	849	coverage_level_defs.ml	blob \| blame \| history \| raw
-rw-r--r--	1859	coverage_level_defs.mli	blob \| blame \| history \| raw
-rw-r--r--	1350	deferred_decl.ml	blob \| blame \| history \| raw
-rw-r--r--	3373	delta.ml	blob \| blame \| history \| raw
-rw-r--r--	5232	dune	blob \| blame \| history \| raw
-rw-r--r--	937	ide_tast_cache.ml	blob \| blame \| history \| raw
-rw-r--r--	340	ide_tast_cache.mli	blob \| blame \| history \| raw
-rw-r--r--	1307	internal_type_set.ml	blob \| blame \| history \| raw
-rw-r--r--	294	internal_type_set.rs	blob \| blame \| history \| raw
-rw-r--r--	8864	nastCheck.ml	blob \| blame \| history \| raw
-rw-r--r--	18699	nastInitCheck.ml	blob \| blame \| history \| raw
drwxr-xr-x	-	nast_check	tree \| history
-rw-r--r--	2482	nast_check_env.ml	blob \| blame \| history \| raw
-rw-r--r--	5687	nast_visitor.ml	blob \| blame \| history \| raw
-rw-r--r--	33144	pp_type.ml	blob \| blame \| history \| raw
drwxr-xr-x	-	service	tree \| history
-rw-r--r--	48	tanySentinel.ml	blob \| blame \| history \| raw
-rw-r--r--	38	tanySentinel.mli	blob \| blame \| history \| raw
-rw-r--r--	5863	tast.ml	blob \| blame \| history \| raw
-rw-r--r--	3261	tast.rs	blob \| blame \| history \| raw
drwxr-xr-x	-	tast_check	tree \| history
-rw-r--r--	8063	tast_env.ml	blob \| blame \| history \| raw
-rw-r--r--	10690	tast_env.mli	blob \| blame \| history \| raw
-rw-r--r--	3747	tast_expand.ml	blob \| blame \| history \| raw
-rw-r--r--	1616	tast_type_collector.ml	blob \| blame \| history \| raw
-rw-r--r--	8883	tast_typecheck.ml	blob \| blame \| history \| raw
-rw-r--r--	8546	tast_utils.ml	blob \| blame \| history \| raw
-rw-r--r--	12870	tast_visitor.ml	blob \| blame \| history \| raw
-rw-r--r--	1916	type_mapper.ml	blob \| blame \| history \| raw
-rw-r--r--	2166	type_mapper_forget.ml	blob \| blame \| history \| raw
-rw-r--r--	13232	type_mapper_generic.ml	blob \| blame \| history \| raw
-rw-r--r--	9360	type_parameter_env.ml	blob \| blame \| history \| raw
-rw-r--r--	1778	type_parameter_env.mli	blob \| blame \| history \| raw
-rw-r--r--	6793	type_parameter_env_ops.ml	blob \| blame \| history \| raw
-rw-r--r--	839	type_parameter_env_ops.mli	blob \| blame \| history \| raw
-rw-r--r--	5995	type_validator.ml	blob \| blame \| history \| raw
-rw-r--r--	12655	type_visitor.ml	blob \| blame \| history \| raw
-rw-r--r--	244661	typing.ml	blob \| blame \| history \| raw
-rw-r--r--	1552	typing.mli	blob \| blame \| history \| raw
-rw-r--r--	12046	typing.rs	blob \| blame \| history \| raw
-rw-r--r--	5334	typing_alias.ml	blob \| blame \| history \| raw
-rw-r--r--	237	typing_alias.mli	blob \| blame \| history \| raw
-rw-r--r--	15761	typing_arithmetic.ml	blob \| blame \| history \| raw
-rw-r--r--	29415	typing_array_access.ml	blob \| blame \| history \| raw
-rw-r--r--	1258	typing_ast_print.ml	blob \| blame \| history \| raw
-rw-r--r--	707	typing_ast_print.rs	blob \| blame \| history \| raw
-rw-r--r--	247	typing_ast_rust.rs	blob \| blame \| history \| raw
-rw-r--r--	3449	typing_async.ml	blob \| blame \| history \| raw
-rw-r--r--	3400	typing_attributes.ml	blob \| blame \| history \| raw
-rw-r--r--	32448	typing_check_service.ml	blob \| blame \| history \| raw
-rw-r--r--	211	typing_check_service_rust.rs	blob \| blame \| history \| raw
-rw-r--r--	1872	typing_check_utils.ml	blob \| blame \| history \| raw
-rw-r--r--	3862	typing_check_utils.rs	blob \| blame \| history \| raw
-rw-r--r--	18169	typing_classes_heap.ml	blob \| blame \| history \| raw
-rw-r--r--	4258	typing_classes_heap.mli	blob \| blame \| history \| raw
-rw-r--r--	655	typing_classes_heap.rs	blob \| blame \| history \| raw
-rw-r--r--	2904	typing_coercion.ml	blob \| blame \| history \| raw
-rw-r--r--	466	typing_collections_rust.rs	blob \| blame \| history \| raw
-rw-r--r--	577	typing_cont_key.ml	blob \| blame \| history \| raw
-rw-r--r--	436	typing_continuations.ml	blob \| blame \| history \| raw
-rw-r--r--	480	typing_continuations.rs	blob \| blame \| history \| raw
-rw-r--r--	891	typing_debug.ml	blob \| blame \| history \| raw
-rw-r--r--	5423	typing_deferred_members.ml	blob \| blame \| history \| raw
-rw-r--r--	30725	typing_defs.ml	blob \| blame \| history \| raw
-rw-r--r--	1033	typing_defs.rs	blob \| blame \| history \| raw
-rw-r--r--	16228	typing_defs_core.ml	blob \| blame \| history \| raw
-rw-r--r--	15922	typing_defs_core.mli	blob \| blame \| history \| raw
-rw-r--r--	20734	typing_defs_core.rs	blob \| blame \| history \| raw
-rw-r--r--	1804	typing_defs_flags.ml	blob \| blame \| history \| raw
-rw-r--r--	436	typing_defs_rust.rs	blob \| blame \| history \| raw
-rw-r--r--	4970	typing_dependent_type.ml	blob \| blame \| history \| raw
-rw-r--r--	2152	typing_disposable.ml	blob \| blame \| history \| raw
-rw-r--r--	5799	typing_enforceability.ml	blob \| blame \| history \| raw
-rw-r--r--	5626	typing_enum.ml	blob \| blame \| history \| raw
-rw-r--r--	53497	typing_env.ml	blob \| blame \| history \| raw
-rw-r--r--	12035	typing_env.mli	blob \| blame \| history \| raw
-rw-r--r--	5116	typing_env.rs	blob \| blame \| history \| raw
-rw-r--r--	3192	typing_env_from_def.ml	blob \| blame \| history \| raw
-rw-r--r--	1992	typing_env_from_def.rs	blob \| blame \| history \| raw
-rw-r--r--	1012	typing_env_return_info.ml	blob \| blame \| history \| raw
-rw-r--r--	411	typing_env_return_info.rs	blob \| blame \| history \| raw
-rw-r--r--	2743	typing_env_types.ml	blob \| blame \| history \| raw
-rw-r--r--	2046	typing_env_types.mli	blob \| blame \| history \| raw
-rw-r--r--	3022	typing_env_types.rs	blob \| blame \| history \| raw
-rw-r--r--	4022	typing_equality_check.ml	blob \| blame \| history \| raw
-rw-r--r--	1173	typing_expand.ml	blob \| blame \| history \| raw
-rw-r--r--	819	typing_expand.mli	blob \| blame \| history \| raw
-rw-r--r--	33533	typing_extends.ml	blob \| blame \| history \| raw
-rw-r--r--	817	typing_extends.mli	blob \| blame \| history \| raw
-rw-r--r--	7533	typing_exts.ml	blob \| blame \| history \| raw
-rw-r--r--	4551	typing_fake_members.ml	blob \| blame \| history \| raw
-rw-r--r--	1293	typing_fake_members.mli	blob \| blame \| history \| raw
-rw-r--r--	2481	typing_func_terminality.ml	blob \| blame \| history \| raw
-rw-r--r--	1769	typing_generic.ml	blob \| blame \| history \| raw
-rw-r--r--	2401	typing_generic_constraint.ml	blob \| blame \| history \| raw
-rw-r--r--	4285	typing_generic_rules.ml	blob \| blame \| history \| raw
-rw-r--r--	11252	typing_global_inference.ml	blob \| blame \| history \| raw
-rw-r--r--	1705	typing_global_inference.mli	blob \| blame \| history \| raw
-rw-r--r--	528	typing_heap.ml	blob \| blame \| history \| raw
-rw-r--r--	770	typing_heap.mli	blob \| blame \| history \| raw
-rw-r--r--	5849	typing_helpers.ml	blob \| blame \| history \| raw
-rw-r--r--	50089	typing_inference_env.ml	blob \| blame \| history \| raw
-rw-r--r--	7818	typing_inference_env.mli	blob \| blame \| history \| raw
-rw-r--r--	11610	typing_inference_env.rs	blob \| blame \| history \| raw
-rw-r--r--	5603	typing_inheritance.ml	blob \| blame \| history \| raw
-rw-r--r--	1441	typing_instantiate.mli	blob \| blame \| history \| raw
-rw-r--r--	13451	typing_intersection.ml	blob \| blame \| history \| raw
-rw-r--r--	744	typing_intersection.mli	blob \| blame \| history \| raw
-rw-r--r--	2408	typing_lazy_heap.ml	blob \| blame \| history \| raw
-rw-r--r--	6248	typing_lenv.ml	blob \| blame \| history \| raw
-rw-r--r--	2213	typing_lenv.mli	blob \| blame \| history \| raw
-rw-r--r--	987	typing_local_types.ml	blob \| blame \| history \| raw
-rw-r--r--	447	typing_local_types.rs	blob \| blame \| history \| raw
-rw-r--r--	19014	typing_log.ml	blob \| blame \| history \| raw
-rw-r--r--	2262	typing_log.mli	blob \| blame \| history \| raw
-rw-r--r--	1578	typing_log_value.ml	blob \| blame \| history \| raw
-rw-r--r--	3739	typing_logic.ml	blob \| blame \| history \| raw
-rw-r--r--	2203	typing_logic.rs	blob \| blame \| history \| raw
-rw-r--r--	1163	typing_logic_helpers.ml	blob \| blame \| history \| raw
-rw-r--r--	4021	typing_make_type.ml	blob \| blame \| history \| raw
-rw-r--r--	12957	typing_make_type.rs	blob \| blame \| history \| raw
-rw-r--r--	4187	typing_memoize.ml	blob \| blame \| history \| raw
-rw-r--r--	474	typing_memoize.mli	blob \| blame \| history \| raw
-rw-r--r--	9417	typing_mutability.ml	blob \| blame \| history \| raw
-rw-r--r--	1034	typing_mutability.mli	blob \| blame \| history \| raw
-rw-r--r--	2386	typing_mutability_env.ml	blob \| blame \| history \| raw
-rw-r--r--	1532	typing_mutability_env.mli	blob \| blame \| history \| raw
-rw-r--r--	1674	typing_naming.rs	blob \| blame \| history \| raw
-rw-r--r--	23070	typing_object_get.ml	blob \| blame \| history \| raw
-rw-r--r--	1343	typing_object_get.mli	blob \| blame \| history \| raw
-rw-r--r--	2383	typing_ops.ml	blob \| blame \| history \| raw
-rw-r--r--	39464	typing_ordered_solver.ml	blob \| blame \| history \| raw
-rw-r--r--	366	typing_ordered_solver.mli	blob \| blame \| history \| raw
-rw-r--r--	2990	typing_per_cont_env.ml	blob \| blame \| history \| raw
-rw-r--r--	2709	typing_per_cont_env.mli	blob \| blame \| history \| raw
-rw-r--r--	1692	typing_per_cont_env.rs	blob \| blame \| history \| raw
-rw-r--r--	4645	typing_per_cont_ops.ml	blob \| blame \| history \| raw
-rw-r--r--	4608	typing_per_cont_ops.mli	blob \| blame \| history \| raw
-rw-r--r--	28618	typing_phase.ml	blob \| blame \| history \| raw
-rw-r--r--	3190	typing_phase.mli	blob \| blame \| history \| raw
-rw-r--r--	7648	typing_phase.rs	blob \| blame \| history \| raw
-rw-r--r--	2644	typing_pocket_universes.ml	blob \| blame \| history \| raw
-rw-r--r--	191	typing_pocket_universes.mli	blob \| blame \| history \| raw
-rw-r--r--	58951	typing_print.ml	blob \| blame \| history \| raw
-rw-r--r--	4197	typing_print.mli	blob \| blame \| history \| raw
-rw-r--r--	1855	typing_print.rs	blob \| blame \| history \| raw
-rw-r--r--	798	typing_print_ffi.ml	blob \| blame \| history \| raw
-rw-r--r--	17189	typing_reactivity.ml	blob \| blame \| history \| raw
-rw-r--r--	24753	typing_reason.ml	blob \| blame \| history \| raw
-rw-r--r--	4982	typing_reason.rs	blob \| blame \| history \| raw
-rw-r--r--	5218	typing_regex.ml	blob \| blame \| history \| raw
-rw-r--r--	349	typing_regex.mli	blob \| blame \| history \| raw
-rw-r--r--	1175	typing_requirements.ml	blob \| blame \| history \| raw
-rw-r--r--	297	typing_requirements.mli	blob \| blame \| history \| raw
-rw-r--r--	5800	typing_return.ml	blob \| blame \| history \| raw
-rw-r--r--	1528	typing_return.mli	blob \| blame \| history \| raw
-rw-r--r--	575	typing_return.rs	blob \| blame \| history \| raw
-rw-r--r--	10520	typing_sequencing.ml	blob \| blame \| history \| raw
-rw-r--r--	881	typing_set.ml	blob \| blame \| history \| raw
-rw-r--r--	12324	typing_shapes.ml	blob \| blame \| history \| raw
-rw-r--r--	29018	typing_solver.ml	blob \| blame \| history \| raw
-rw-r--r--	1377	typing_solver.mli	blob \| blame \| history \| raw
-rw-r--r--	4147	typing_solver.rs	blob \| blame \| history \| raw
-rw-r--r--	6386	typing_solver_utils.ml	blob \| blame \| history \| raw
-rw-r--r--	810	typing_solver_utils.mli	blob \| blame \| history \| raw
-rw-r--r--	5282	typing_special_fun.ml	blob \| blame \| history \| raw
-rw-r--r--	310	typing_special_fun.mli	blob \| blame \| history \| raw
-rw-r--r--	5975	typing_structure.ml	blob \| blame \| history \| raw
-rw-r--r--	1679	typing_substring.ml	blob \| blame \| history \| raw
-rw-r--r--	126218	typing_subtype.ml	blob \| blame \| history \| raw
-rw-r--r--	2938	typing_subtype.mli	blob \| blame \| history \| raw
-rw-r--r--	13244	typing_subtype.rs	blob \| blame \| history \| raw
-rw-r--r--	4121	typing_subtype_pocket_universes.ml	blob \| blame \| history \| raw
-rw-r--r--	293	typing_subtype_pocket_universes.mli	blob \| blame \| history \| raw
-rw-r--r--	3270	typing_subtype_tconst.ml	blob \| blame \| history \| raw
-rw-r--r--	603	typing_subtype_tconst.mli	blob \| blame \| history \| raw
-rw-r--r--	3616	typing_symbol_info_writer.ml	blob \| blame \| history \| raw
-rw-r--r--	36171	typing_symbol_json_builder.ml	blob \| blame \| history \| raw
-rw-r--r--	15479	typing_taccess.ml	blob \| blame \| history \| raw
-rw-r--r--	513	typing_taccess.mli	blob \| blame \| history \| raw
-rw-r--r--	2903	typing_tdef.ml	blob \| blame \| history \| raw
-rw-r--r--	60063	typing_toplevel.ml	blob \| blame \| history \| raw
-rw-r--r--	1176	typing_toplevel.mli	blob \| blame \| history \| raw
-rw-r--r--	2152	typing_toplevel.rs	blob \| blame \| history \| raw
-rw-r--r--	1445	typing_try.ml	blob \| blame \| history \| raw
-rw-r--r--	4898	typing_tyvar_occurrences.ml	blob \| blame \| history \| raw
-rw-r--r--	924	typing_tyvar_occurrences.mli	blob \| blame \| history \| raw
-rw-r--r--	1744	typing_tyvar_occurrences.rs	blob \| blame \| history \| raw
-rw-r--r--	982	typing_unify.ml	blob \| blame \| history \| raw
-rw-r--r--	23787	typing_union.ml	blob \| blame \| history \| raw
-rw-r--r--	1208	typing_union.mli	blob \| blame \| history \| raw
-rw-r--r--	1910	typing_union.rs	blob \| blame \| history \| raw
-rw-r--r--	23130	typing_utils.ml	blob \| blame \| history \| raw
-rw-r--r--	32882	typing_variance.ml	blob \| blame \| history \| raw
-rw-r--r--	6838	typing_visibility.ml	blob \| blame \| history \| raw
-rw-r--r--	763	typing_visibility.mli	blob \| blame \| history \| raw
-rw-r--r--	4910	typing_xhp.ml	blob \| blame \| history \| raw
-rw-r--r--	780	typing_xhp.mli	blob \| blame \| history \| raw