Public Git Hosting - hiphop-php.git/commit

commit	fbad0eb0d23c3be283ee81084fe30e55b158a568
author	Michael Thomas <mjt@fb.com>
	Tue, 3 May 2022 10:10:17 +0000 (3 03:10 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 3 May 2022 10:10:17 +0000 (3 03:10 -0700)
tree	eb7311083afe0c2997cbf354810af3c1eb54e41a	tree \| snapshot (tar.gz zip)
parent	b43dcccd56dd551d9f35fcb463d42399d1036cfd	commit \| diff

expose top level subtyping functions

Summary: Exposes `subtype` and `has_member` top-level functions which are to be used to introduce these constraints to the inference (and type parameter) environments. At the moment `has_member` is just a stub

Differential Revision: D35648501

fbshipit-source-id: 3b27c13a21d9a4b30e5ebe5c08e35c65583cd95c

16 files changed:

hphp/hack/src/rupro/hackrs/inference_env.rs	[moved from hphp/hack/src/rupro/hackrs/inference_env/mod.rs with 75% similarity]	diff \| blob \| blame \| history
hphp/hack/src/rupro/hackrs/inference_env/tyvar_info.rs		diff \| blob \| blame \| history
hphp/hack/src/rupro/hackrs/inference_env/tyvar_info/tyvar_constraints.rs	[new file with mode: 0644]	blob
hphp/hack/src/rupro/hackrs/inference_env/tyvar_info/tyvar_state.rs	[new file with mode: 0644]	blob
hphp/hack/src/rupro/hackrs/lib.rs		diff \| blob \| blame \| history
hphp/hack/src/rupro/hackrs/subtyping.rs	[new file with mode: 0644]	blob
hphp/hack/src/rupro/hackrs/subtyping/config.rs	[moved from hphp/hack/src/rupro/hackrs/inference/mod.rs with 62% similarity]	diff \| blob \| blame \| history
hphp/hack/src/rupro/hackrs/subtyping/env.rs	[new file with mode: 0644]	blob
hphp/hack/src/rupro/hackrs/subtyping/normalize.rs	[moved from hphp/hack/src/rupro/hackrs/inference/subtype.rs with 77% similarity]	diff \| blob \| blame \| history
hphp/hack/src/rupro/hackrs/subtyping/oracle.rs	[new file with mode: 0644]	blob
hphp/hack/src/rupro/hackrs/subtyping/solve.rs	[moved from hphp/hack/src/rupro/hackrs/inference/solve.rs with 100% similarity]	blob \| blame \| history
hphp/hack/src/rupro/hackrs/subtyping/visited_goals.rs	[new file with mode: 0644]	blob
hphp/hack/src/rupro/ty/local/ty.rs		diff \| blob \| blame \| history
hphp/hack/src/rupro/ty/local_error/error_primary.rs		diff \| blob \| blame \| history
hphp/hack/src/rupro/ty/prop.rs		diff \| blob \| blame \| history
hphp/hack/src/rupro/ty/prop/constraint.rs		diff \| blob \| blame \| history

RSS Atom