Remove PPL related errors (5/5)
commit078a028b272a473eeb21f38a817f49209d4fc9f7
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:04 +0000 (15 16:48 -0700)
treecf949dce98e9ca385aa23e68f07437d6e3a0db1c
parent3d8f942c0add767a2b715b366e562c71c2c24ba9
Remove PPL related errors (5/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 5/5

Reviewed By: Wilfred

Differential Revision: D23665341

fbshipit-source-id: 9d6d00f0a518fc51f66d28e51d02a76d93c8d901
hphp/hack/src/errors/error_codes.ml
hphp/hack/src/errors/errors.ml
hphp/hack/src/errors/errors.mli
hphp/hack/src/oxidized/gen/error_codes.rs
hphp/hack/test/errors/error_map.ml