Add Typing_env.decl_tany
commit268cd102d0855234345d9cb7079b82f6eaa1d75d
authorDwayne Reeves <dreeves@fb.com>
Mon, 16 Sep 2019 19:20:42 +0000 (16 12:20 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 16 Sep 2019 19:23:15 +0000 (16 12:23 -0700)
tree5a9a753c824c015f5f64fa1f31f56a38947fbb1c
parent89552c79299f8b49590a4800944c32331a6c6fc7
Add Typing_env.decl_tany

Summary: Typing_env.tany was polymorphic on the phase. I changed it to be a locl_phase ty_ and added an decl_phase version as well. Only a few places needed to be clean up as a result

Reviewed By: manzyuk

Differential Revision: D17385287

fbshipit-source-id: 012a3d92d1a480334f397e927aeea9808c0c3460
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_env.ml
hphp/hack/src/typing/typing_env.mli
hphp/hack/src/typing/typing_utils.ml