| commit | 026016dfba8b9fe718e84fb64ce6ccf098fed124 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Tue, 22 Dec 2020 01:25:12 +0000 (21 17:25 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 22 Dec 2020 01:27:04 +0000 (21 17:27 -0800) | ||
| tree | 4420cc0ec8bce2ab7fb211ce36110f685e32bf56 | treesnapshot (tar.gz zip) |
| parent | db8d1014f65158693306e3f212929f7e3b9609fd | commitdiff |
sometimes hack simply drops errors, due to deferred-decl
Summary: We got user accounts that sometimes hack wasn't reporting errors that it should. This fixes it.
Reviewed By: Wilfred
Differential Revision: D25672172
fbshipit-source-id: 39b7ab988841b5ea4d75451e6d1fabcc204d4694
Summary: We got user accounts that sometimes hack wasn't reporting errors that it should. This fixes it.
Reviewed By: Wilfred
Differential Revision: D25672172
fbshipit-source-id: 39b7ab988841b5ea4d75451e6d1fabcc204d4694
| hphp/hack/src/typing/typing_check_service.ml | diffblobblamehistory |