Remove references to PPL (2/5)
commit656610fdd14b79bda94f9147e187e816ccb53211
authorThomas Jiang <thomasjiang@fb.com>
Tue, 15 Sep 2020 07:10:05 +0000 (15 00:10 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 15 Sep 2020 07:14:35 +0000 (15 00:14 -0700)
treef8ae7021c7d9bcb736b8eacbf20cb62fe0afae46
parenta7ca0be8c7380c980332595a3888f7e96a233bdd
Remove references to PPL (2/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 2/5

Reviewed By: Wilfred

Differential Revision: D23665344

fbshipit-source-id: 51336f22e409a803651abcec36aa00f9c0218746
hphp/hack/src/errors/error_codes.ml
hphp/hack/src/errors/errors.ml
hphp/hack/src/errors/errors.mli
hphp/hack/src/naming/naming.ml
hphp/hack/src/naming/naming_elaborate_namespaces_endo.ml
hphp/hack/src/oxidized/gen/error_codes.rs
hphp/hack/test/errors/error_map.ml
hphp/hack/test/typecheck/unbound_name/ppl_special_calls.php [deleted file]
hphp/hack/test/typecheck/unbound_name/ppl_special_calls.php.exp [deleted file]
hphp/hack/test/typecheck/unbound_name/ppl_special_calls2.php [deleted file]
hphp/hack/test/typecheck/unbound_name/ppl_special_calls2.php.exp [deleted file]