| commit | 9ef594545d6ac68920c1875c8186cbfd5d6b3029 | |
| author | Sasha Manzyuk <manzyuk@fb.com> | |
| Tue, 2 Jul 2019 14:19:07 +0000 (2 07:19 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 2 Jul 2019 14:22:38 +0000 (2 07:22 -0700) | ||
| tree | 8311fd8053ac5ad2921fc82a0a4140854e6b79fd | treesnapshot (tar.gz zip) |
| parent | 93280427ee8800b6cb8fe0232a437c90bae55b18 | commitdiff |
Improve the error message of "primary error position not in current file" errors
Summary: Make it clear in the error message that this is a bug in the type checker that should be reported to the Hack team and provide instructions for doing that.
Reviewed By: andrewjkennedy
Differential Revision: D16074272
fbshipit-source-id: bc8e4737a0608573ad344d0324bfc1d6521e77b3
Summary: Make it clear in the error message that this is a bug in the type checker that should be reported to the Hack team and provide instructions for doing that.
Reviewed By: andrewjkennedy
Differential Revision: D16074272
fbshipit-source-id: bc8e4737a0608573ad344d0324bfc1d6521e77b3
| hphp/hack/src/errors/dune | diffblobblamehistory | |
| hphp/hack/src/errors/errors.ml | diffblobblamehistory | |
| hphp/hack/src/stubs/badpos_sentinel.ml | [new file with mode: 0644] | blob |