Public Git Hosting - hiphop-php.git/commit

commit	f1c0db0b4dc255ebb5f81c0a55e7068b9b555f01
author	Andrew Kennedy <akenn@fb.com>
	Mon, 8 Oct 2018 14:14:38 +0000 (8 07:14 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Mon, 8 Oct 2018 14:26:31 +0000 (8 07:26 -0700)
tree	ddb8a03e06ee4be29838188d3191b22c6dd9bf2d	tree \| snapshot (tar.gz zip)
parent	7d18ba89f60e79278305805bfca7eccc6883eb8b	commit \| diff

Remove unification in implicit return checking

Summary: Remove unification in implicit return, instead use both-ways subtyping.

Reviewed By: manzyuk

Differential Revision: D10162011

fbshipit-source-id: d47aa503349a9b38f684a3dbac5fb5eab0e8564e

RSS Atom

hphp/hack/src/typing/typing.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_return.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_unify.ml		diff \| blob \| blame \| history
hphp/hack/test/typecheck/null_return.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/void_is_type_of_null/null_return.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/void_is_type_of_null/void_usage_2.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/void_is_type_of_null/void_usage_5.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/void_usage_2.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/void_usage_5.php.exp		diff \| blob \| blame \| history