Public Git Hosting - hiphop-php.git/commit

commit	2a44207a1bbc01c759d13d1844de285818e47dca
author	Fred Emmott <fe@fb.com>
	Thu, 22 Mar 2018 19:39:43 +0000 (22 12:39 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Thu, 22 Mar 2018 19:59:10 +0000 (22 12:59 -0700)
tree	50bace59e2fb6f15ae17b03741a71e837dc5946e	tree \| snapshot (tar.gz zip)
parent	7a9a71d6be3e7da6e85e45be1d88416b9fb0988a	commit \| diff

Typechecker support for throwing and catching throwables and errors

Summary:
PHP7 mode is default now, so these are thrown.

fixes facebook/hhvm#8153

Reviewed By: vassilmladenov

Differential Revision: D7304627

fbshipit-source-id: 390e5a8bb35a5bdd2282b9d520fd105ace26a58a

hphp/hack/src/naming/naming_special_names.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing.ml		diff \| blob \| blame \| history
hphp/hack/test/typecheck/catch_non_exception.php.exp		diff \| blob \| blame \| history
hphp/hack/test/typecheck/php7_throwables.php	[new file with mode: 0644]	blob
hphp/hack/test/typecheck/php7_throwables.php.exp	[new file with mode: 0644]	blob
hphp/hack/test/typecheck/throw_non_exception.php.exp		diff \| blob \| blame \| history

RSS Atom