| commit | bfc68e9958cc33106a18e950f03f1c1b31584dba | |
| author | Hunter Goldstein <hgoldstein@fb.com> | |
| Fri, 25 Mar 2022 21:31:09 +0000 (25 14:31 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 25 Mar 2022 21:31:09 +0000 (25 14:31 -0700) | ||
| tree | 861d0c4372a4ceae1683abc9beecaa87ca2e6bcb | treesnapshot (tar.gz zip) |
| parent | 4ecabb2594140dfdc469c84a38020b441eb1bdcd | commitdiff |
call `Typing_check_job.check_module` in Typing_check_utils.type_file
Summary:
This is a utility that's meant to hook into `hh_single_type_check`, `hh --lint`, and `ServerCoverageMetric`. We have, yet again, fallen victim to projecting off of `FileInfo.t` rather than destructuring against it, meaning we have forgotten to process modules.
Let's pattern match on `FileInfo.t` (plus lift out the `List.map ~f:snd |> List.filter_map ~f` pattern into a helper).
Reviewed By: jamesjwu
Differential Revision: D35033667
fbshipit-source-id: 4497be806780af9a265ccadd5260fd03a4bba0a8
Summary:
This is a utility that's meant to hook into `hh_single_type_check`, `hh --lint`, and `ServerCoverageMetric`. We have, yet again, fallen victim to projecting off of `FileInfo.t` rather than destructuring against it, meaning we have forgotten to process modules.
Let's pattern match on `FileInfo.t` (plus lift out the `List.map ~f:snd |> List.filter_map ~f` pattern into a helper).
Reviewed By: jamesjwu
Differential Revision: D35033667
fbshipit-source-id: 4497be806780af9a265ccadd5260fd03a4bba0a8
| hphp/hack/src/typing/typing_check_utils.ml | diffblobblamehistory |