Revert visibility of class/type constants.
commit0a372db2a31877790025c81310da7612962bc681
authorAlexey Toptygin <alexeyt@fb.com>
Wed, 2 Oct 2019 20:21:00 +0000 (2 13:21 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Wed, 2 Oct 2019 20:22:34 +0000 (2 13:22 -0700)
treef30b625ec5f8d3ba8fb71b6066371b2b11078999
parent250a8e0ec4c0b700a7122dd9106c8b77b84836ea
Revert visibility of class/type constants.

Summary:
This was partly built but abandoned as a direction we don't intend to pursue further. It also blocks me from using the presence of visibility modifiers to differentiate constant declarations from const property declarations.

Revert the stack from D16043672 to D16087542D15981533, and D16137608 except for some useful refactors:
* refactors in hphp/hack/src/typing/typing_extends.ml from D16081937 and D16085948
* the bits of D16075262 that were plumbing type const modifiers (in general, as opposed to visibility ones specifically) into the ast
* the parts of D16069842 that changed class_const from a tuple to a struct

Reviewed By: dabek

Differential Revision: D17680976

fbshipit-source-id: 2342037619ddfaeb8ee1414e8871af5c77fb5eaa
96 files changed:
hphp/hack/src/annotated_ast/aast.ml
hphp/hack/src/annotated_ast/ast_to_aast.ml
hphp/hack/src/ast/ast.ml
hphp/hack/src/decl/decl.ml
hphp/hack/src/decl/decl_pos_utils.ml
hphp/hack/src/decl/decl_to_typing.ml
hphp/hack/src/decl/shallow_decl.ml
hphp/hack/src/decl/shallow_decl_defs.ml
hphp/hack/src/hh_parse.ml
hphp/hack/src/hh_single_compile.ml
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/hhbc/emit_class.ml
hphp/hack/src/hhbc/hhas_constant.ml
hphp/hack/src/hhbc/hhbc_options.ml
hphp/hack/src/naming/naming.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/parserOptions.ml
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/oxidized/gen/aast.rs
hphp/hack/src/oxidized/gen/global_options.rs
hphp/hack/src/oxidized/gen/parser_options.rs
hphp/hack/src/oxidized/gen/shallow_decl_defs.rs
hphp/hack/src/oxidized/gen/typing_defs.rs
hphp/hack/src/oxidized/manual/global_options_impl.rs
hphp/hack/src/parser/full_fidelity_ast.ml
hphp/hack/src/parser/lowerer.rs
hphp/hack/src/parser/rust_parser_errors.rs
hphp/hack/src/parser/rust_parser_errors_ffi.rs
hphp/hack/src/parser/syntax_error.rs
hphp/hack/src/server/fileOutline.ml
hphp/hack/src/server/serverConfig.ml
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_defs.ml
hphp/hack/src/typing/typing_extends.ml
hphp/hack/src/typing/typing_print.ml
hphp/hack/test/full_fidelity/cases/const_visibility_mod/HH_FLAGS [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/class_const_no_modifier.php [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/class_const_no_modifier.php.sexp.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_abstract_non_private.php [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_abstract_non_private.php.sexp.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_abstract_private.php [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_abstract_private.php.errors.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_abstract_private.php.sexp.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_dup_modifier.php [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_dup_modifier.php.errors.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_dup_modifier.php.sexp.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_mul_decl.php [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_mul_decl.php.errors.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_mul_decl.php.sexp.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_simple.php [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_simple.php.sexp.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_visibility_interface.php [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_visibility_interface.php.errors.exp [deleted file]
hphp/hack/test/full_fidelity/cases/const_visibility_mod/const_visibility_interface.php.sexp.exp [deleted file]
hphp/hack/test/identify_symbol/decl_typeconst.php.exp
hphp/hack/test/identify_symbol/typeconst.php.exp
hphp/hack/test/identify_symbol/typeconst_access.php.exp
hphp/hack/test/nast/file_attributes_in_namespaces_with_namespaced_values.php.exp
hphp/hack/test/outline/typeconst.php.exp
hphp/hack/test/tast/class_const.php.exp
hphp/hack/test/tast/file_attributes_in_namespaces_with_namespaced_values.php.exp
hphp/hack/test/tast/typeconsts.php.exp
hphp/hack/test/typecheck/const_visibility_modifiers/HH_FLAGS [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/class_constant_access.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/class_constant_access.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_access_abstract.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_access_abstract.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_narrow_visiblity.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_narrow_visiblity.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_public_simple.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_public_simple.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_same_visibility.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_same_visibility.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_static_access.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_static_access.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_static_access_child.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_static_access_child.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_widen_visibility.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/const_widen_visibility.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/illegal_const_access.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/illegal_const_access.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/parent_access_protected.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/parent_access_protected.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/parent_illegal_access.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/parent_illegal_access.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/tconst_default_public.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/tconst_default_public.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/tconst_narrow_visibility.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/tconst_narrow_visibility.php.exp [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/tconst_widen_visbility.php [deleted file]
hphp/hack/test/typecheck/const_visibility_modifiers/tconst_widen_visbility.php.exp [deleted file]
hphp/runtime/vm/verifier/fuzzer/fuzzer.ml
hphp/test/slow/php7_backported/const_visibility.php [deleted file]
hphp/test/slow/php7_backported/const_visibility.php.expect [deleted file]
hphp/test/slow/php7_backported/const_visibility.php.ini [deleted file]