Revert records hhbbc diffs
commit803dce2ac12c249e471abf6b082f951aa404fec5
authorJan Oravec <jan@fb.com>
Sun, 20 Oct 2019 21:06:00 +0000 (20 14:06 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Sun, 20 Oct 2019 21:08:05 +0000 (20 14:08 -0700)
tree03fe6cfdb269e6ca95df19045756ac89e75884fa
parent01893a2f7c494736dca7e59ca06f7f3f1126b376
Revert records hhbbc diffs

Reviewed By: ricklavoie

Differential Revision: D18032571

fbshipit-source-id: ac3d9f43dfe364ad16477638d9290f99d1e7b618
15 files changed:
hphp/hhbbc/emit.cpp
hphp/hhbbc/index.cpp
hphp/hhbbc/index.h
hphp/hhbbc/interp.cpp
hphp/hhbbc/optimize.cpp
hphp/hhbbc/show.cpp
hphp/hhbbc/test/type-system.cpp
hphp/hhbbc/type-system.cpp
hphp/hhbbc/type-system.h
hphp/runtime/base/repo-auth-type-codec-inl.h
hphp/runtime/base/repo-auth-type-codec.cpp
hphp/runtime/base/repo-auth-type.cpp
hphp/runtime/base/repo-auth-type.h
hphp/runtime/vm/as.cpp
hphp/runtime/vm/jit/type.cpp