| commit | 82a433791c3ed8f8ce8d89d8d4351c54d344836a | |
| author | Hugo Venturini <hgo@fb.com> | |
| Fri, 19 May 2017 10:12:22 +0000 (19 03:12 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 19 May 2017 10:31:37 +0000 (19 03:31 -0700) | ||
| tree | fc3121d201dd535933f5a23a5ba8cac09635d709 | treesnapshot (tar.gz zip) |
| parent | c7a9aa495fd49c45b4d3f02d7fe77e18a8b90fc2 | commitdiff |
better error output
Summary: we are missing info when the semdiff tool fails
Reviewed By: nbenton
Differential Revision: D5086807
fbshipit-source-id: f87ad3d9ab299bb74d950d544c600b76ebadd7b5
Summary: we are missing info when the semdiff tool fails
Reviewed By: nbenton
Differential Revision: D5086807
fbshipit-source-id: f87ad3d9ab299bb74d950d544c600b76ebadd7b5
| hphp/hack/src/hhbc/Hhas_parser_actions.ml | diffblobblamehistory | |
| hphp/hack/src/hhbc/semdiff/semdiff.ml | diffblobblamehistory |