RFC: first attempts at label
commit6242d59b505d94ed3533e581c1ed54768cc9e804
authorVincent Siles <vsiles@fb.com>
Mon, 29 Mar 2021 10:02:14 +0000 (29 03:02 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 30 Mar 2021 19:54:41 +0000 (30 12:54 -0700)
tree9972d2e5845f69e6c216023f442173ba0e21159d
parent4909c429e3e37182d7c8836d9547aea94846d961
RFC: first attempts at label

Summary: Introducing the experimental type `HH\Label<EnumClass, DataType>` to behave as the type of atoms/labels

Reviewed By: vassilmladenov

Differential Revision: D26777335

fbshipit-source-id: 87861078859eac2162f8eb8759351fdb30d7fbc0
18 files changed:
hphp/hack/hhi/BuiltinEnum.hhi
hphp/hack/hhi/Label.hhi [new file with mode: 0644]
hphp/hack/src/naming/naming_special_names.ml
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_check_decls.ml
hphp/hack/test/enum_atom/typing/label.php [new file with mode: 0644]
hphp/hack/test/enum_atom/typing/label.php.exp [new file with mode: 0644]
hphp/hack/test/enum_atom/typing/xcont.php [new file with mode: 0644]
hphp/hack/test/enum_atom/typing/xcont.php.exp [new file with mode: 0644]
hphp/runtime/ext/enum/ext_enum.php
hphp/test/slow/enum_class/label.php [new file with mode: 0644]
hphp/test/slow/enum_class/label.php.expect [new file with mode: 0644]
hphp/test/slow/enum_class/label.php.hphp_opts [new file with mode: 0644]
hphp/test/slow/enum_class/label.php.opts [new file with mode: 0644]
hphp/test/slow/enum_class/xcont.php [new file with mode: 0644]
hphp/test/slow/enum_class/xcont.php.expect [new file with mode: 0644]
hphp/test/slow/enum_class/xcont.php.hphp_opts [new file with mode: 0644]
hphp/test/slow/enum_class/xcont.php.opts [new file with mode: 0644]