| commit | 733d2aa861d3b5244ba331a13a20609221431819 | |
| author | Waleed Khan <waleedk@fb.com> | |
| Wed, 18 Mar 2020 21:48:43 +0000 (18 14:48 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 18 Mar 2020 22:01:57 +0000 (18 15:01 -0700) | ||
| tree | bf350b1c65c8bb687674a212dda878a431ec3b90 | treesnapshot (tar.gz zip) |
| parent | d6a145f4ecf17d4c85798cc9fb05da3b1f78c26d | commitdiff |
Switch some APIs from `Caml` to `Core_kernel` in `hh_single_type_check`
Reviewed By: vassilmladenov
Differential Revision: D20519046
fbshipit-source-id: 97d8902b5134cb07ff0f875b6d4c3b5152b0d07b
Reviewed By: vassilmladenov
Differential Revision: D20519046
fbshipit-source-id: 97d8902b5134cb07ff0f875b6d4c3b5152b0d07b
| hphp/hack/src/hh_single_type_check.ml | diffblobblamehistory |