| commit | 59188e9b0dc4656c38238882f3a6f230fe05509d | |
| author | Hunter Goldstein <hgoldstein@fb.com> | |
| Fri, 29 May 2020 16:12:22 +0000 (29 09:12 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 29 May 2020 16:14:13 +0000 (29 09:14 -0700) | ||
| tree | 19081b6ffab1749eb92e96f46384c5dbe32be27a | treesnapshot (tar.gz zip) |
| parent | 23c1310e6e9913c573821ef56edc09dd9af02369 | commitdiff |
RFC: Add typechecker support for `is_any_array`
Summary: Instead of introducing a new `arrlike` type I'm going to have `is_any_array` refine to a union.
Reviewed By: vassilmladenov
Differential Revision: D18994504
fbshipit-source-id: 2ecc5c51ca0d878d31a2f878e1fa138103249110
Summary: Instead of introducing a new `arrlike` type I'm going to have `is_any_array` refine to a union.
Reviewed By: vassilmladenov
Differential Revision: D18994504
fbshipit-source-id: 2ecc5c51ca0d878d31a2f878e1fa138103249110
| hphp/hack/src/naming/naming_special_names.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/is_any_array/is_any_array.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/is_any_array/is_any_array.php.exp | [new file with mode: 0644] | blob |