| commit | 2fe512495f939206e2aec70aa8e3c719989eaaf2 | |
| author | Jake Bailey <jakebailey@fb.com> | |
| Thu, 12 Apr 2018 17:33:42 +0000 (12 10:33 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 12 Apr 2018 17:37:42 +0000 (12 10:37 -0700) | ||
| tree | c40e78a164c77cb8c8069ec2232513b9f27e491a | treesnapshot (tar.gz zip) |
| parent | a6231d6dbf7e17c2b5c155c6dd33d2b40cdbd853 | commitdiff |
Type empty, isset, unset, and freeze with function types in TAST
Summary: Currently, we type the identifiers for these function-like language constructs with `Tany` via `make_call_special`. These constructs have function definitions in hhi, though, so we can simply look them up and use them instead of `Tany`.
Reviewed By: pittsw
Differential Revision: D7529879
fbshipit-source-id: e978d724a63ae6951e248b9b0320f84899e2a516
Summary: Currently, we type the identifiers for these function-like language constructs with `Tany` via `make_call_special`. These constructs have function definitions in hhi, though, so we can simply look them up and use them instead of `Tany`.
Reviewed By: pittsw
Differential Revision: D7529879
fbshipit-source-id: e978d724a63ae6951e248b9b0320f84899e2a516
| hphp/hack/src/typing/typing.ml | diffblobblamehistory | |
| hphp/hack/test/tast/pseudofunctions.php | [new file with mode: 0644] | blob |
| hphp/hack/test/tast/pseudofunctions.php.exp | [new file with mode: 0644] | blob |