| commit | 27d4c88e35f7bfff19049e8b123e18980ba210e8 | |
| author | Jan Oravec <jan@fb.com> | |
| Tue, 21 Jun 2022 14:35:50 +0000 (21 07:35 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 21 Jun 2022 14:35:50 +0000 (21 07:35 -0700) | ||
| tree | cf4490380301936f5a3c4401e5edd998edcad563 | treesnapshot (tar.gz zip) |
| parent | ae72872e4825ff63aad36ed7f47aea12846be26f | commitdiff |
Improve parameter type verification logic and make it reusable
Summary:
Do not throw away the original type, refine it instead with each
TypeConstraint validation.
Move the logic to the index so that it can be reused by the next diff from
another place.
Reviewed By: mofarrell
Differential Revision: D37308395
fbshipit-source-id: 07a5e590aed9a9bc92704adb2288b42c033e37ee
Summary:
Do not throw away the original type, refine it instead with each
TypeConstraint validation.
Move the logic to the index so that it can be reused by the next diff from
another place.
Reviewed By: mofarrell
Differential Revision: D37308395
fbshipit-source-id: 07a5e590aed9a9bc92704adb2288b42c033e37ee
| hphp/hhbbc/index.cpp | diffblobblamehistory | |
| hphp/hhbbc/index.h | diffblobblamehistory | |
| hphp/hhbbc/interp.cpp | diffblobblamehistory |