| commit | c06af8fcd0534af527d62ee99573a19767316365 | |
| author | Andrew Kennedy <akenn@fb.com> | |
| Tue, 23 Apr 2019 15:36:32 +0000 (23 08:36 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 23 Apr 2019 15:59:58 +0000 (23 08:59 -0700) | ||
| tree | ae307b5389c2be7156ba01c34716858a6e07835a | treesnapshot (tar.gz zip) |
| parent | 2b3e4332ce03b525173cede73efa7160e62e5a14 | commitdiff |
New inference: narrow bounds for array update
Summary:
Continue improvement of array operations by narrowing the type for array update operations, just as we did already for access and append.
Note: no treatment yet of shape types. This might be addressed in a future diff.
Reviewed By: CatherineGasnier
Differential Revision: D15044664
fbshipit-source-id: 520a45e2db3d3b3bda9ed0e00e8cddf864fc0542
Summary:
Continue improvement of array operations by narrowing the type for array update operations, just as we did already for access and append.
Note: no treatment yet of shape types. This might be addressed in a future diff.
Reviewed By: CatherineGasnier
Differential Revision: D15044664
fbshipit-source-id: 520a45e2db3d3b3bda9ed0e00e8cddf864fc0542
12 files changed: