Public Git Hosting - hiphop-php.git/commit

commit	d177a4a9224f6b5caff06ddb43a63df720ca3728
author	Catherine Gasnier <catg@fb.com>
	Thu, 20 Feb 2020 10:35:25 +0000 (20 02:35 -0800)
committer	Facebook Github Bot <facebook-github-bot@users.noreply.github.com>
	Thu, 20 Feb 2020 10:37:49 +0000 (20 02:37 -0800)
tree	3e7417bb3ae63ab49fe85f80282e4e3c55615ce2	tree \| snapshot (tar.gz zip)
parent	8dc4e29501442dfcb0f2bea5e1b838f5d7fdef70	commit \| diff

add option to specify which types to reinfer

Differential Revision: D19941499

fbshipit-source-id: 5f3e1afd44fbdd04be492f962831a5916238ee5f

hphp/hack/src/hh_single_type_check.ml		diff \| blob \| blame \| history
hphp/hack/src/options/globalOptions.ml		diff \| blob \| blame \| history
hphp/hack/src/options/globalOptions.mli		diff \| blob \| blame \| history
hphp/hack/src/oxidized/gen/global_options.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized/manual/global_options_impl.rs		diff \| blob \| blame \| history
hphp/hack/src/server/serverConfig.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/config_file/config_file.mli		diff \| blob \| blame \| history
hphp/hack/src/utils/config_file/config_file_common.ml		diff \| blob \| blame \| history