Change the way self (the enclosing class) is stored in genv
commit84508a3c473cf0fd6aaba1ad2a1a84299fef6333
authorSasha Manzyuk <manzyuk@fb.com>
Mon, 28 Oct 2019 14:01:05 +0000 (28 07:01 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Mon, 28 Oct 2019 14:03:57 +0000 (28 07:03 -0700)
treed2958ca34e6290abc8eef524f62484a549c02b14
parent5f20632b57823d623efd7156da3e9b9411298f18
Change the way self (the enclosing class) is stored in genv

Summary: Similarly to the previous diff, store the enclosing class information as an optional pair of the class identifier and type, with `None` representing the case when we are outside of a class.

Reviewed By: andrewjkennedy

Differential Revision: D18084005

fbshipit-source-id: e944d8bfd7a0bc6ab8bfadab892de41933e23841
17 files changed:
hphp/hack/src/server/autocompleteService.ml
hphp/hack/src/typing/nastInitCheck.ml
hphp/hack/src/typing/tast_check/basic_reactivity_check.ml
hphp/hack/src/typing/tast_check/const_write_check.ml
hphp/hack/src/typing/tast_env.ml
hphp/hack/src/typing/tast_env.mli
hphp/hack/src/typing/type_validator.ml
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_env_from_def.ml
hphp/hack/src/typing/typing_env_types.ml
hphp/hack/src/typing/typing_env_types.mli
hphp/hack/src/typing/typing_func_terminality.ml
hphp/hack/src/typing/typing_log.ml
hphp/hack/src/typing/typing_object_get.ml
hphp/hack/src/typing/typing_visibility.ml