| commit | f254844dd25e25637ed2abdae65eeaf5a319a666 | |
| author | Michael Thomas <mjt@fb.com> | |
| Tue, 8 Feb 2022 10:16:35 +0000 (8 02:16 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 8 Feb 2022 10:17:52 +0000 (8 02:17 -0800) | ||
| tree | 005d7666fae3c14b047bf49a64287dcfdae78d6d | treesnapshot (tar.gz zip) |
| parent | 20320203f209232ce9acc7fc102f2a136a1b9232 | commitdiff |
Move complex error to helper function
Summary: The error function used when sound dynamic is enabled is pretty complex. This diff moves it to a helper function and lifts out the side effect
Reviewed By: vsiles
Differential Revision: D34006613
fbshipit-source-id: 61dea66b05ffb954707d5fb62d896a1d942b9a4f
Summary: The error function used when sound dynamic is enabled is pretty complex. This diff moves it to a helper function and lifts out the side effect
Reviewed By: vsiles
Differential Revision: D34006613
fbshipit-source-id: 61dea66b05ffb954707d5fb62d896a1d942b9a4f
| hphp/hack/src/typing/typing_object_get.ml | diffblobblamehistory |