Public Git Hosting - hiphop-php.git/commit

commit	2d4e387532d1c1bd6cd7f6d6849bdd523322c7b9
author	Andrew Kennedy <akenn@fb.com>
	Tue, 3 Mar 2020 15:55:13 +0000 (3 07:55 -0800)
committer	Facebook Github Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 3 Mar 2020 15:58:15 +0000 (3 07:58 -0800)
tree	475a3b8cadd0e3f677fe3315bc2aacbd06efbc61	tree \| snapshot (tar.gz zip)
parent	be0219c013e9a4076714acf8ab85d35abc88a076	commit \| diff

First stab at hh_check

Summary: First code in Rust for type inference. Simple wrapper `hh_check` that is just cut-and-paste from `hh_compile`, with oxidized version of `Typing_env.env` and dependencies. A little bit of `Reason` code and subset of `Typing_make_type`.

Reviewed By: dabek

Differential Revision: D20034453

fbshipit-source-id: 093210fdfca4cb3191e572924d6f15dbd0108f8f

36 files changed:

hphp/hack/src/cargo/hh_check/Cargo.toml	[new file with mode: 0644]	blob
hphp/hack/src/hh_check.rs	[new file with mode: 0644]	blob
hphp/hack/src/hh_oxidize/convert_type_decl.ml		diff \| blob \| blame \| history
hphp/hack/src/oxidized/gen/decl_defs.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized/gen/mod.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized/gen/type_parameter_env.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/gen/typing_cont_key.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/gen/typing_env_types.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/gen/typing_fake_members.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/gen/typing_inference_env.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/gen/typing_local_types.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/gen/typing_mutability_env.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/gen/typing_per_cont_env.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/gen/typing_tyvar_occurrences.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/lib.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized/manual/decl_env.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/manual/internal_type_set.rs	[copied from hphp/hack/src/oxidized/manual/local_id.rs with 53% similarity]	diff \| blob \| blame \| history
hphp/hack/src/oxidized/manual/local_id.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized/manual/mod.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized/manual/ty_impl.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/manual/typing_continuations.rs	[copied from hphp/hack/src/oxidized/manual/local_id.rs with 53% similarity]	diff \| blob \| blame \| history
hphp/hack/src/oxidized/manual/typing_env_return_info.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/manual/typing_logic.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/manual/typing_reason_impl.rs	[new file with mode: 0644]	blob
hphp/hack/src/oxidized/manual/typing_set.rs	[copied from hphp/hack/src/oxidized/manual/local_id.rs with 53% similarity]	diff \| blob \| blame \| history
hphp/hack/src/oxidized/regen.sh		diff \| blob \| blame \| history
hphp/hack/src/typing/cargo/compile/Cargo.toml	[new file with mode: 0644]	blob
hphp/hack/src/typing/typing_check_service_rust.rs	[copied from hphp/hack/src/oxidized/manual/local_id.rs with 52% similarity]	diff \| blob \| blame \| history
hphp/hack/src/typing/typing_check_utils.rs	[new file with mode: 0644]	blob
hphp/hack/src/typing/typing_env.rs	[new file with mode: 0644]	blob
hphp/hack/src/typing/typing_env_types.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_fake_members.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_inference_env.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_make_type.rs	[new file with mode: 0644]	blob
hphp/hack/src/typing/typing_mutability_env.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_per_cont_env.ml		diff \| blob \| blame \| history

RSS Atom