| commit | aaed3bf9a721dfc10410c6fce48a23c306deaa15 | |
| author | Henri Verroken <hverr@fb.com> | |
| Fri, 7 Feb 2020 16:45:25 +0000 (7 08:45 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 7 Feb 2020 16:48:26 +0000 (7 08:48 -0800) | ||
| tree | e809f9ea1e355330c23491b9807f2800b982ccfb | treesnapshot (tar.gz zip) |
| parent | 4e2f39baf05daa6b1fa43451a1426a3011a3aa6b | commitdiff |
Fix graph building for connected components
Summary:
When discovering edges for global inference, previously constraint types were not being explored (due to the limitations of type visitor).
Switch to a type mapper that also supports constraint types.
Reviewed By: CatherineGasnier
Differential Revision: D19789609
fbshipit-source-id: 400cfdeae23354ca7928d4f5dbcdd24e63f75fe9
Summary:
When discovering edges for global inference, previously constraint types were not being explored (due to the limitations of type visitor).
Switch to a type mapper that also supports constraint types.
Reviewed By: CatherineGasnier
Differential Revision: D19789609
fbshipit-source-id: 400cfdeae23354ca7928d4f5dbcdd24e63f75fe9
| hphp/hack/src/typing/typing_inference_env.ml | diffblobblamehistory |