ReflectionModule in typechecker
commitf127af701eb6297bad897324262d4128763449df
authorJames Wu <jjwu@fb.com>
Thu, 12 May 2022 02:36:14 +0000 (11 19:36 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 12 May 2022 02:36:14 +0000 (11 19:36 -0700)
tree0d78565256c33bfb156b831c045ee3d48ca92d9d
parentb63bff2092f1e0992e1df61a5d1049e859e1f316
ReflectionModule in typechecker

Summary: After adding ReflectionModule to systemlib, we add it to the typechecker hhi now

Reviewed By: chenmela

Differential Revision: D36107437

fbshipit-source-id: 8998a5736c4296310bcda12f8532648b621539ad
hphp/hack/hhi/attributes.hhi
hphp/hack/hhi/reflection.hhi
hphp/hack/src/naming/naming_special_names.ml
hphp/hack/src/typing/typing_toplevel.ml
hphp/hack/test/typecheck/modules/reflectionmodule.php [new file with mode: 0644]
hphp/hack/test/typecheck/modules/reflectionmodule.php.exp [new file with mode: 0644]