| commit | fcde18c41d323fef35d0d2186431b88c98bfcd92 | |
| author | Yael Goldin <ygoldin@fb.com> | |
| Thu, 24 Oct 2019 22:45:27 +0000 (24 15:45 -0700) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 24 Oct 2019 22:47:52 +0000 (24 15:47 -0700) | ||
| tree | edd2efbf4bb876fb75b02710e5c00ece69d362ec | treesnapshot (tar.gz zip) |
| parent | 7159787e3803306e2b136d92c8ef0d2a2a494ce7 | commitdiff |
move errors printing into errors module
Summary: Move `print_errors_if_present` into `Errors` so it can be used elsewhere
Reviewed By: jewelpit
Differential Revision: D18125099
fbshipit-source-id: 3fd03dcec2cd3f59b14e4ab4ac4a7a982a1ac260
Summary: Move `print_errors_if_present` into `Errors` so it can be used elsewhere
Reviewed By: jewelpit
Differential Revision: D18125099
fbshipit-source-id: 3fd03dcec2cd3f59b14e4ab4ac4a7a982a1ac260
| hphp/hack/src/errors/errors.ml | diffblobblamehistory | |
| hphp/hack/src/errors/errors.mli | diffblobblamehistory | |
| hphp/hack/src/hh_single_type_check.ml | diffblobblamehistory |