| commit | 2e1f27715c26456fb8b88ffd13c9c5464e5a0770 | |
| author | Leo Osvald <leoo@fb.com> | |
| Mon, 11 Nov 2019 17:51:29 +0000 (11 09:51 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Mon, 11 Nov 2019 17:53:42 +0000 (11 09:53 -0800) | ||
| tree | 7d60ffcd56e712731c2545e00c9d9243a54c9c79 | treesnapshot (tar.gz zip) |
| parent | ae7355c11daf491d4f5ded232d9d0f79003d1452 | commitdiff |
Reduce deps for elaborate_namespaces
Summary:
Split some elaboration deps to ensure Rust migration does not have new blockers,
now that elaboration has been rewritten and moved to naming.
Some new dependencies of `attributes` come from `Attributes.deprecated` function,
which is incidentally used only from `decl.ml`, so split `Attributes` module into two,
so that `elaborate_namespaces` does not depend on unported code.
Differential Revision: D18314639
fbshipit-source-id: 1ac695df6d10e6e7ce403b232e35af851950aa0a
Summary:
Split some elaboration deps to ensure Rust migration does not have new blockers,
now that elaboration has been rewritten and moved to naming.
Some new dependencies of `attributes` come from `Attributes.deprecated` function,
which is incidentally used only from `decl.ml`, so split `Attributes` module into two,
so that `elaborate_namespaces` does not depend on unported code.
Differential Revision: D18314639
fbshipit-source-id: 1ac695df6d10e6e7ce403b232e35af851950aa0a