Add switch to disable partially abstract type constants
commitb424898124de38abf866b9379bdce74871525912
authorVassil Mladenov <vmladenov@fb.com>
Wed, 19 Jun 2019 06:14:47 +0000 (18 23:14 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 19 Jun 2019 06:19:37 +0000 (18 23:19 -0700)
tree0102e3839f1654756be258d8630aacfd73668a49
parentae54ab4dc10ae64ba3859212dcef846bcd3c92b3
Add switch to disable partially abstract type constants

Summary: When flipped, this switch will treat all partially abstract type constants as concrete type constants, and then there will only be two types available: abstract (with/without default) and concrete.

Differential Revision: D15879133

fbshipit-source-id: 2fc39da6825d97ae696711fc1563fff48a125ae4
15 files changed:
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/server/serverConfig.ml
hphp/hack/src/typing/typing_extends.ml
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/HH_FLAGS [new file with mode: 0644]
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/abstract.php [new file with mode: 0644]
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/abstract.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/abstract_default.php [new file with mode: 0644]
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/abstract_default.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/concrete.php [new file with mode: 0644]
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/concrete.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/partially_abstract.php [new file with mode: 0644]
hphp/hack/test/typecheck/abstract_typeconsts/disable_patcs/partially_abstract.php.exp [new file with mode: 0644]