Continue to reorganize label code
commit8ab41c3c4604bedc52bc13025ec221ccada60a1a
authorEric Lippert <ericlippert@fb.com>
Sat, 4 Mar 2017 06:13:49 +0000 (3 22:13 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Sat, 4 Mar 2017 06:24:50 +0000 (3 22:24 -0800)
tree1dfb3b946c96760801bfe7820c029af1c2e4cece
parent5c9611b26e69bb223b6c5dcba0045836f4870f82
Continue to reorganize label code

Summary:
A label was a pair of (int, flavor). But this is a weird way to represent a tagged integer in OCaml. I've reworked the code so that the kind is the constructor for the label.

We are still however passing around labels as plain ints. In the next diff I'll clean this up further.

Reviewed By: oulgen

Differential Revision: D4653733

fbshipit-source-id: caa19b1e58bafa93a6c38b474768320b078369df
hphp/hack/src/hhbc/hhbc_ast.ml
hphp/hack/src/hhbc/hhbc_from_nast.ml
hphp/hack/src/hhbc/hhbc_hhas.ml
hphp/hack/src/hhbc/instruction_sequence.ml