| commit | faad2967bac7d0d25253d643504026f87ab226cb | |
| author | Hrutvik Kanabar <hrutvik@fb.com> | |
| Mon, 14 Sep 2020 14:34:58 +0000 (14 07:34 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Mon, 14 Sep 2020 14:43:02 +0000 (14 07:43 -0700) | ||
| tree | a00a170b31f1b0a180ebd720d2337b1572f9d205 | treesnapshot (tar.gz zip) |
| parent | 98f76a5972937a136bc191b3ea601df4e87ed03b | commitdiff |
Add an entrypoint to `Typing_solver`
Summary: Expose `solve_to_equal_bound_or_wrt_variance` in the interface for `Typing_solver`. This allows for solving of individual type variables (with respect to their variances), for cases in which opening and closing a scope is too coarse.
Reviewed By: CatherineGasnier
Differential Revision: D23649504
fbshipit-source-id: d91ef04d63103e79a224a15b3bfde230809da1eb
Summary: Expose `solve_to_equal_bound_or_wrt_variance` in the interface for `Typing_solver`. This allows for solving of individual type variables (with respect to their variances), for cases in which opening and closing a scope is too coarse.
Reviewed By: CatherineGasnier
Differential Revision: D23649504
fbshipit-source-id: d91ef04d63103e79a224a15b3bfde230809da1eb
| hphp/hack/src/typing/typing_solver.mli | diffblobblamehistory |