| commit | 990fb00a638e37c850305090605e5cfcd35a7c4e | |
| author | Catherine Gasnier <catg@fb.com> | |
| Wed, 17 Oct 2018 15:38:45 +0000 (17 08:38 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 17 Oct 2018 15:42:24 +0000 (17 08:42 -0700) | ||
| tree | da3b434cb499e0152a02bbfc2bf86739ce16062f | treesnapshot (tar.gz zip) |
| parent | 4d07f1aebe821939302e5584c512f0db3a375603 | commitdiff |
small refactorization in Typing_log
Summary: doing this refactoring because I want to add another function with a `level` parameter.
Reviewed By: Wilfred
Differential Revision: D10424321
fbshipit-source-id: 5a833829a9e63ad69039c81e086b4d31f196087f
Summary: doing this refactoring because I want to add another function with a `level` parameter.
Reviewed By: Wilfred
Differential Revision: D10424321
fbshipit-source-id: 5a833829a9e63ad69039c81e086b4d31f196087f
| hphp/hack/src/typing/typing_log.ml | diffblobblamehistory |