Public Git Hosting - hiphop-php.git/commit

commit	2cbea9c18bf51f97846358bb70e2385dbe2fd71d
author	James Wu <jjwu@fb.com>
	Thu, 11 Feb 2021 04:59:25 +0000 (10 20:59 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Thu, 11 Feb 2021 05:01:35 +0000 (10 21:01 -0800)
tree	22f174fdf7471bcc433cb9d251ae980a40a98e8e	tree \| snapshot (tar.gz zip)
parent	00f98e1cca3ff34405874229e6a53e15b7503cc8	commit \| diff

Add readonly to decl and function types

Summary: Add readonlyness to decl and function types, so we can consume it in the typechecker.

Reviewed By: zilberstein

Differential Revision: D26318430

fbshipit-source-id: ee2619b16a3e81a2bc206dc6e1a2cacae4839389

103 files changed:

hphp/hack/src/decl/decl_folded_class.ml		diff \| blob \| blame \| history
hphp/hack/src/decl/decl_fun_utils.ml		diff \| blob \| blame \| history
hphp/hack/src/decl/decl_hint.ml		diff \| blob \| blame \| history
hphp/hack/src/decl/decl_nast.ml		diff \| blob \| blame \| history
hphp/hack/src/decl/decl_to_typing.ml		diff \| blob \| blame \| history
hphp/hack/src/decl/direct_decl_smart_constructors.rs		diff \| blob \| blame \| history
hphp/hack/src/decl/shallow_decl.ml		diff \| blob \| blame \| history
hphp/hack/src/decl/shallow_decl_defs.ml		diff \| blob \| blame \| history
hphp/hack/src/decl/shallow_decl_defs.mli		diff \| blob \| blame \| history
hphp/hack/src/oxidized_by_ref/manual/prop_flags.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized_by_ref/manual/typing_defs_flags.rs		diff \| blob \| blame \| history
hphp/hack/src/typing/tast_check/type_serialization_identity_check.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_defs.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_defs_core.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_defs_core.mli		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_defs_flags.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_extends.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_print.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_utils.ml		diff \| blob \| blame \| history
hphp/hack/test/decl/abstract_method.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/accept_disposable.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/array_typehints.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/async_and_generator_functions.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/at_most_rx_as_func.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/at_most_rx_as_func_with_optional_func.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/atom.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/auto_ns_use.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/cipp.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/class_in_namespace.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/classes.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/classes_consistent_construct.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/classes_inferred_constant_types.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/classes_inheritance.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/classes_require.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/classes_typeconst.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/const_attribute.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/constraints_mentioning_tparams_in_same_list.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/denotable_unions.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/deprecated.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/deprecated_string_concat.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/deprecated_string_escaping.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/duplicate_fun_attributes.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/dynamically_callable.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/empty_method_name.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/explicit_type_collection.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/file_mode.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/final_method.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/function_where_constraints.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/functions.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/generic_classes.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/generic_method_tparam_scope.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/hhi.hhi.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/higher_kinded.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/ifc_policied.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/inout.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/interface.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/interfaces.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/like_types.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/memoize_lsb.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/missing_function_typehints.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/mutable.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/mutable_as_hint1.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/namespace_body_plus_declarations_outside_body.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/namespace_elaboration.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/namespace_global_body_plus_declarations_outside_body.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/namespace_import.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/namespace_self.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/namespace_unscoped.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/only_rx_if_impl_method.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/override_attribute.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/php_std_lib.hhi.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/property_declarations.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/property_needs_init.hhi.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/pure.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/qualified_name_in_attribute_arg.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/readonly.php	[new file with mode: 0644]	blob
hphp/hack/test/decl/readonly.php.exp	[new file with mode: 0644]	blob
hphp/hack/test/decl/readonly.php.typecheck.exp	[new file with mode: 0644]	blob
hphp/hack/test/decl/ret_from_kind.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/return_disposable.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/returns_void_to_rx.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/rewritten_tparams.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/rx.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/self_in_type_constant.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/self_param_mutability.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/shapes.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/soft_reified.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/soft_type_hint.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/static_method_call_with_explicit_targ.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/tparams_on_class_and_method.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/traits.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/tuples.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/type_param_attrs.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/typeconst_property_promotion.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/unnamed_variadic_method_parameter.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/use_type.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/variadic_parameter.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/wildcard_invalid.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/wildcard_invalid_targ.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/xhp.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/xhp_self.php.exp		diff \| blob \| blame \| history
hphp/hack/test/decl/yield_deeper.php.exp		diff \| blob \| blame \| history

RSS Atom