Emit coeffect rules for polymorphic coeffects
commitb646dcc7d6e1dd2f07f49ffa70a2794ba73b0ca3
authorOguz Ulgen <oulgen@fb.com>
Fri, 22 Jan 2021 07:58:04 +0000 (21 23:58 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 22 Jan 2021 08:00:37 +0000 (22 00:00 -0800)
tree645fd254fde98183e23f0b251186a8a76133bace
parent5d93d3e9e691dd5801664fc61f1d9b5795965013
Emit coeffect rules for polymorphic coeffects

Summary: This diff emits the polymorphic coeffects rules from HackC. The HHVM assembler parses them and drops them. On the next diff, I'll add to HHVM properly.

Reviewed By: jamesjwu

Differential Revision: D26003615

fbshipit-source-id: cc1083aed887f0ad9642e5a8aeaec77c49cb7918
hphp/hack/src/hhbc/hhas_coeffects.rs
hphp/hack/src/hhbc/print.rs
hphp/runtime/vm/as.cpp
hphp/test/slow/coeffects/poly-parsing.php [new file with mode: 0644]
hphp/test/slow/coeffects/poly-parsing.php.expect [new file with mode: 0644]