Make Naming.typedef take a NAST and update callers
commit9a1721747576549bb32c1cd246add134dc3ca9f3
authorArun Kumar <arkumar@fb.com>
Tue, 14 May 2019 19:12:32 +0000 (14 12:12 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Tue, 14 May 2019 19:27:55 +0000 (14 12:27 -0700)
tree5def00777d8295c22c1024bc8f1247132dc08b60
parent29b0a0625a06b931a8f2c598e7ab114617b3ceac
Make Naming.typedef take a NAST and update callers

Summary: As part of the unified AST/types in compilation projects, we want to eventually remove the legacy AST. Before we can do this, we need to update modules that currently use the legacy AST to use the annotated AST (AAST) instead. This diff updates an entry point into the naming.ml module so that callers need to pass in a NAST (a concrete version of an AAST) instead of an AST.

Reviewed By: Wilfred

Differential Revision: D15333919

fbshipit-source-id: ee0c748a25fbee9b733bc2d6ef005f2e38195ce3
hphp/hack/src/decl/decl.ml
hphp/hack/src/naming/naming.ml
hphp/hack/src/naming/naming.mli
hphp/hack/src/typing/typing_check_service.ml