Remove references to PPL (4/5)
commit3d8f942c0add767a2b715b366e562c71c2c24ba9
authorThomas Jiang <thomasjiang@fb.com>
Tue, 15 Sep 2020 21:52:06 +0000 (15 14:52 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 15 Sep 2020 23:48:02 +0000 (15 16:48 -0700)
treeacc5528a76e3e7a953fa03c60047f5b934beb42e
parentdc06fcdc991d902f8065c120b639f8fbdc06a8e2
Remove references to PPL (4/5)

Summary: `<<__PPL>>` indicated special PPL classes. With the removal of support for coroutines, these classes are no longer valid, but there are still a number of references to this concept left floating around the codebase. This stack of diffs aims to remove them. This is diff 4/5

Reviewed By: Wilfred

Differential Revision: D23665342

fbshipit-source-id: 499485b65b18a3b629c50119ee5b4dcf375729ee
hphp/hack/src/naming/cargo/elaborate_namespaces/Cargo.toml
hphp/hack/src/naming/elaborate_namespaces_visitor.rs
hphp/hack/src/naming/naming_special_names.ml
hphp/hack/src/naming/naming_special_names.rs