Type unbound global IDs and hh pseudofunctions in TAST
commit5ae19306221d992a897156312dce98b7934c10bc
authorJake Bailey <jakebailey@fb.com>
Thu, 12 Apr 2018 17:33:27 +0000 (12 10:33 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Thu, 12 Apr 2018 17:37:39 +0000 (12 10:37 -0700)
treea51a8e236e90cadb833c7d7c85aead71d0c1284e
parent0a2258eec3c1f7310736c469c31cbed63e9ed371
Type unbound global IDs and hh pseudofunctions in TAST

Summary: In the interest of making every expression explicitly typed, this change types unbound globals as `Terr` and hh pseudofunctions like `hh_show` as `Tany` in the TAST.

Reviewed By: pittsw

Differential Revision: D7495815

fbshipit-source-id: 27de403fdd57bbb23a382d5e199aeb34a55ab786
hphp/hack/src/typing/typing.ml
hphp/hack/test/tast/switch_fallthrough.php.exp
hphp/hack/test/tast/unbound_global.php.exp