Introduce local AKempty type
commitc14c0b8c8b8835e21e1b7ce1ebd30ab43b18cf3f
authorKasper Kopec <kasper@fb.com>
Thu, 24 Sep 2015 23:55:31 +0000 (24 16:55 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Fri, 25 Sep 2015 00:00:37 +0000 (24 17:00 -0700)
tree51f9af14b543b3652bfb5395b66a2be269b209f0
parent7c71fa99f361dc1e26931bc8773c072ad3e28c7a
Introduce local AKempty type

Summary: This is the type of array() expression. Currently no-op change, actual benefits in {D2446230}.

Reviewed By: @dlreeves

Differential Revision: D2446289
12 files changed:
hphp/hack/src/typing/typeVisitor.ml
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_async.ml
hphp/hack/src/typing/typing_defs.ml
hphp/hack/src/typing/typing_env.ml
hphp/hack/src/typing/typing_expand.ml
hphp/hack/src/typing/typing_generic.ml
hphp/hack/src/typing/typing_print.ml
hphp/hack/src/typing/typing_subtype.ml
hphp/hack/src/typing/typing_suggest.ml
hphp/hack/src/typing/typing_unify.ml
hphp/hack/src/typing/typing_utils.ml