| commit | 2d4209d38140e6086f4d44cc13c899f7b662ebe8 | |
| author | Andrew Kennedy <akenn@fb.com> | |
| Thu, 22 Oct 2020 11:21:21 +0000 (22 04:21 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 22 Oct 2020 11:23:42 +0000 (22 04:23 -0700) | ||
| tree | f5909fac53ec34bf6f23dd4cdcb2db6f1b5fbaf6 | treesnapshot (tar.gz zip) |
| parent | 6107553ce2af148b8bced60a2ffbcb77b65dc72f | commitdiff |
Remove legacy arrays
Summary: Legacy arrays are no longer supported, so let's remove them from the formalization.
Reviewed By: vsiles
Differential Revision: D24423038
fbshipit-source-id: 26b5e93d93e42ee5e4e27e6140355197be892c1c
Summary: Legacy arrays are no longer supported, so let's remove them from the formalization.
Reviewed By: vsiles
Differential Revision: D24423038
fbshipit-source-id: 26b5e93d93e42ee5e4e27e6140355197be892c1c
| hphp/hack/doc/type_system/hack_typing.ott | diffblobblamehistory |