| commit | 3c0c12f425021a640a739841033a45f4a489c1b4 | |
| author | Michael Thomas <mjt@fb.com> | |
| Thu, 28 Apr 2022 09:14:19 +0000 (28 02:14 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 28 Apr 2022 09:14:19 +0000 (28 02:14 -0700) | ||
| tree | bb81b14712ae3f3b7e75e3bda8285263201ce1ad | treesnapshot (tar.gz zip) |
| parent | 92d391835b21cda4a469dece20723c27a35a22bb | commitdiff |
Rename `hole_on_err` to `hole_on_ty_mismatch`
Summary: With the advent of `Typing_error.t`, the name 'err' is a little confusing since holes really convey information about type mismatches. This diff just renames the function and named arguments to use `ty_mismatch` rather than `err`
Reviewed By: vsiles
Differential Revision: D35967578
fbshipit-source-id: 99f6ed77590ef5eddb7ffd37a646b90ff7e46841
Summary: With the advent of `Typing_error.t`, the name 'err' is a little confusing since holes really convey information about type mismatches. This diff just renames the function and named arguments to use `ty_mismatch` rather than `err`
Reviewed By: vsiles
Differential Revision: D35967578
fbshipit-source-id: 99f6ed77590ef5eddb7ffd37a646b90ff7e46841
| hphp/hack/src/typing/typing.ml | diffblobblamehistory |