Add __AtMostRxAsRxFunc and __AtMostRxAsArgs
commit8b918033f703eff8d3bb5842802498ec536d669b
authorVladimir Matveev <vladima@fb.com>
Tue, 14 Aug 2018 04:03:58 +0000 (13 21:03 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Tue, 14 Aug 2018 04:32:02 +0000 (13 21:32 -0700)
treea960efc309c66b30ce1665a034ed195b5385d4dd
parent116461f0258339697c15cadd239d6d35a07cf3d2
Add __AtMostRxAsRxFunc and __AtMostRxAsArgs

Summary: Add `__AtMostRxAsRxFunc` and `__AtMostRxAsArgs` attributes that should eventually replace `__OnlyRxIfRxFunc` and `__OnlyRxIfArgs` - for now we support both versions.

Reviewed By: DavidSnider

Differential Revision: D9239325

fbshipit-source-id: e27a5c473fce0af903cfe104ae4c4ea17be54d2c
18 files changed:
hphp/hack/src/decl/decl.ml
hphp/hack/src/errors/errors.ml
hphp/hack/src/errors/errors_sig.ml
hphp/hack/src/naming/attributes.ml
hphp/hack/src/naming/naming_special_names.ml
hphp/hack/src/typing/nastCheck.ml
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_reactivity.ml
hphp/hack/src/typing/typing_subtype.ml
hphp/hack/test/typecheck/reactive/mayberx1.php.exp
hphp/hack/test/typecheck/reactive/mayberx16.php.exp
hphp/hack/test/typecheck/reactive/mayberx2.php.exp
hphp/hack/test/typecheck/reactive/mayberx3.php.exp
hphp/hack/test/typecheck/reactive/mayberx4.php.exp
hphp/hack/test/typecheck/reactive/mayberx5.php.exp
hphp/hack/test/typecheck/reactive/mayberx6.php.exp
hphp/hack/test/typecheck/reactive/only_rx_if_args1.php.exp
hphp/hack/test/typecheck/reactive/only_rx_if_args2.php.exp