Break mutual recursion: sub_string
commitc4eb39d2daa4644a226c208e80b706f854c04b2b
authorAndrew Kennedy <akenn@fb.com>
Tue, 23 Jul 2019 23:14:50 +0000 (23 16:14 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Tue, 23 Jul 2019 23:19:24 +0000 (23 16:19 -0700)
tree73305b5616647494ffbe482b136987dd1834c19f
parent059cc43f75eeafc618c9d91edd098fda2bc12a1b
Break mutual recursion: sub_string

Summary: This is the first diff in a series, killing the `ref` hack used in `Typing_utils` to avoid mutual recursion between modules that implement subtyping-related functionality.

Reviewed By: vassilmladenov

Differential Revision: D16438629

fbshipit-source-id: 09e3202fa1477a55ab7f05de7e66d2623b31ae85
hphp/hack/src/typing/dune
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_ops.ml
hphp/hack/src/typing/typing_substring.ml [new file with mode: 0644]
hphp/hack/src/typing/typing_subtype.ml
hphp/hack/src/typing/typing_subtype.mli
hphp/hack/src/typing/typing_utils.ml