Make Typing_instantiate only work on decl ty
commitb9391e8de6bf0f62d23356077e4514ec17eeabed
authorDwayne Reeves <dreeves@fb.com>
Fri, 12 Jun 2015 03:08:53 +0000 (11 20:08 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Fri, 12 Jun 2015 03:32:16 +0000 (11 20:32 -0700)
tree3cae9a04fbb3733a85b9d77ddbab945f8a447f85
parent45f633ce7eecd5ec78adbd012a76bfaf48a307a7
Make Typing_instantiate only work on decl ty

Summary: Now that all calls of Typing_instantiate.instantiate on locl ty have been
removed, I'm changing the type signature to only work on decl types. This also
allowed me to enforce that a couple utility functions also only operate on locl
types so I changed them as well.

Reviewed By: @int3, @jwatzman

Differential Revision: D2147078
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_decl.ml
hphp/hack/src/typing/typing_env.ml
hphp/hack/src/typing/typing_env.mli
hphp/hack/src/typing/typing_extends.ml
hphp/hack/src/typing/typing_inherit.ml
hphp/hack/src/typing/typing_instantiate.ml
hphp/hack/src/typing/typing_instantiate.mli
hphp/hack/src/typing/typing_utils.ml