Back out "Add compiler only attributes to disable readonly checking and coeffect...

[hiphop-php.git] / hphp / hack / src / options / parserOptions.ml

(*
 * Copyright (c) 2015, Facebook, Inc.
 * All rights reserved.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the "hack" directory of this source tree.
 *
 *)

type t = GlobalOptions.t [@@deriving show]

let auto_namespace_map = GlobalOptions.po_auto_namespace_map

let with_auto_namespace_map po m =
  { po with GlobalOptions.po_auto_namespace_map = m }

let codegen = GlobalOptions.po_codegen

let deregister_php_stdlib = GlobalOptions.po_deregister_php_stdlib

let disallow_toplevel_requires = GlobalOptions.po_disallow_toplevel_requires

let default = GlobalOptions.default

let disable_nontoplevel_declarations =
  GlobalOptions.po_disable_nontoplevel_declarations

let const_default_func_args = GlobalOptions.po_const_default_func_args

let with_const_default_func_args po b =
  { po with GlobalOptions.po_const_default_func_args = b }

let const_default_lambda_args = GlobalOptions.po_const_default_lambda_args

let with_const_default_lambda_args po b =
  { po with GlobalOptions.po_const_default_lambda_args = b }

let with_codegen po b = { po with GlobalOptions.po_codegen = b }

let with_disable_lval_as_an_expression po b =
  { po with GlobalOptions.po_disable_lval_as_an_expression = b }

let disable_lval_as_an_expression =
  GlobalOptions.po_disable_lval_as_an_expression

let enable_class_level_where_clauses =
  GlobalOptions.po_enable_class_level_where_clauses

let disable_legacy_soft_typehints =
  GlobalOptions.po_disable_legacy_soft_typehints

let with_disable_legacy_soft_typehints po b =
  { po with GlobalOptions.po_disable_legacy_soft_typehints = b }

let allowed_decl_fixme_codes = GlobalOptions.po_allowed_decl_fixme_codes

let allow_new_attribute_syntax = GlobalOptions.po_allow_new_attribute_syntax

let with_allow_new_attribute_syntax po b =
  { po with GlobalOptions.po_allow_new_attribute_syntax = b }

let disable_legacy_attribute_syntax =
  GlobalOptions.po_disable_legacy_attribute_syntax

let with_disable_legacy_attribute_syntax po b =
  { po with GlobalOptions.po_disable_legacy_attribute_syntax = b }

let disallow_silence = GlobalOptions.po_disallow_silence

let const_static_props = GlobalOptions.tco_const_static_props

let with_const_static_props po b =
  { po with GlobalOptions.tco_const_static_props = b }

let abstract_static_props = GlobalOptions.po_abstract_static_props

let with_abstract_static_props po b =
  { po with GlobalOptions.po_abstract_static_props = b }

let disable_unset_class_const = GlobalOptions.po_disable_unset_class_const

let parser_errors_only = GlobalOptions.po_parser_errors_only

let with_parser_errors_only po b =
  { po with GlobalOptions.po_parser_errors_only = b }

let disallow_func_ptrs_in_constants =
  GlobalOptions.po_disallow_func_ptrs_in_constants

let with_disallow_func_ptrs_in_constants po b =
  { po with GlobalOptions.po_disallow_func_ptrs_in_constants = b }

let disable_xhp_element_mangling = GlobalOptions.po_disable_xhp_element_mangling

let with_disable_xhp_element_mangling po b =
  { po with GlobalOptions.po_disable_xhp_element_mangling = b }

let allow_unstable_features = GlobalOptions.po_allow_unstable_features

let with_allow_unstable_features po b =
  { po with GlobalOptions.po_allow_unstable_features = b }

let disable_xhp_children_declarations =
  GlobalOptions.po_disable_xhp_children_declarations

let with_disable_xhp_children_declarations po b =
  { po with GlobalOptions.po_disable_xhp_children_declarations = b }

let enable_xhp_class_modifier = GlobalOptions.po_enable_xhp_class_modifier

let with_enable_xhp_class_modifier po b =
  { po with GlobalOptions.po_enable_xhp_class_modifier = b }

let enable_enum_classes = GlobalOptions.po_enable_enum_classes

let with_enable_enum_classes po b =
  { po with GlobalOptions.po_enable_enum_classes = b }

let with_enable_enum_supertyping po b =
  { po with GlobalOptions.po_enable_enum_supertyping = b }

let disable_modes = GlobalOptions.po_disable_modes

let disable_hh_ignore_error = GlobalOptions.po_disable_hh_ignore_error

let disable_array = GlobalOptions.po_disable_array

let disable_array_typehint = GlobalOptions.po_disable_array_typehint

let disallow_hash_comments = GlobalOptions.po_disallow_hash_comments

let with_disallow_hash_comments po b =
  { po with GlobalOptions.po_disallow_hash_comments = b }

let disallow_fun_and_cls_meth_pseudo_funcs =
  GlobalOptions.po_disallow_fun_and_cls_meth_pseudo_funcs

let with_disallow_fun_and_cls_meth_pseudo_funcs po b =
  { po with GlobalOptions.po_disallow_fun_and_cls_meth_pseudo_funcs = b }

let disallow_inst_meth = GlobalOptions.po_disallow_inst_meth

let with_disallow_inst_meth po b =
  { po with GlobalOptions.po_disallow_inst_meth = b }

let enable_readonly_in_emitter = GlobalOptions.po_enable_readonly_in_emitter

let with_enable_readonly_in_emitter po b =
  { po with GlobalOptions.po_enable_readonly_in_emitter = b }

let escape_brace = GlobalOptions.po_escape_brace

let with_escape_brace po b = { po with GlobalOptions.po_escape_brace = b }

let interpret_soft_types_as_like_types =
  GlobalOptions.po_interpret_soft_types_as_like_types

let with_interpret_soft_types_as_like_types po b =
  { po with GlobalOptions.po_interpret_soft_types_as_like_types = b }

let with_everything_sdt po b = { po with GlobalOptions.tco_everything_sdt = b }

let make
    ~auto_namespace_map
    ~codegen
    ~disable_nontoplevel_declarations
    ~disable_lval_as_an_expression
    ~enable_class_level_where_clauses
    ~disable_legacy_soft_typehints
    ~allow_new_attribute_syntax
    ~disable_legacy_attribute_syntax
    ~const_default_func_args
    ~const_default_lambda_args
    ~disallow_silence
    ~const_static_props
    ~abstract_static_props
    ~disable_unset_class_const
    ~disallow_func_ptrs_in_constants
    ~enable_xhp_class_modifier
    ~disable_xhp_element_mangling
    ~allow_unstable_features
    ~disable_xhp_children_declarations
    ~enable_enum_classes
    ~disable_modes
    ~disable_hh_ignore_error
    ~disable_array
    ~disable_array_typehint
    ~disallow_hash_comments
    ~disallow_fun_and_cls_meth_pseudo_funcs
    ~interpret_soft_types_as_like_types
    ~disallow_inst_meth
    ~enable_readonly_in_emitter
    ~escape_brace =
  GlobalOptions.
    {
      default with
      po_auto_namespace_map = auto_namespace_map;
      po_codegen = codegen;
      po_disable_nontoplevel_declarations = disable_nontoplevel_declarations;
      po_disable_lval_as_an_expression = disable_lval_as_an_expression;
      po_enable_class_level_where_clauses = enable_class_level_where_clauses;
      po_disable_legacy_soft_typehints = disable_legacy_soft_typehints;
      po_allow_new_attribute_syntax = allow_new_attribute_syntax;
      po_disable_legacy_attribute_syntax = disable_legacy_attribute_syntax;
      po_const_default_func_args = const_default_func_args;
      po_const_default_lambda_args = const_default_lambda_args;
      po_disallow_silence = disallow_silence;
      tco_const_static_props = const_static_props;
      po_abstract_static_props = abstract_static_props;
      po_disable_unset_class_const = disable_unset_class_const;
      po_disallow_func_ptrs_in_constants = disallow_func_ptrs_in_constants;
      po_enable_xhp_class_modifier = enable_xhp_class_modifier;
      po_disable_xhp_element_mangling = disable_xhp_element_mangling;
      po_allow_unstable_features = allow_unstable_features;
      po_disable_xhp_children_declarations = disable_xhp_children_declarations;
      po_enable_enum_classes = enable_enum_classes;
      po_disable_modes = disable_modes;
      po_disable_hh_ignore_error = disable_hh_ignore_error;
      po_disable_array = disable_array;
      po_disable_array_typehint = disable_array_typehint;
      po_disallow_hash_comments = disallow_hash_comments;
      po_disallow_fun_and_cls_meth_pseudo_funcs =
        disallow_fun_and_cls_meth_pseudo_funcs;
      po_interpret_soft_types_as_like_types = interpret_soft_types_as_like_types;
      po_disallow_inst_meth = disallow_inst_meth;
      po_enable_readonly_in_emitter = enable_readonly_in_emitter;
      po_escape_brace = escape_brace;
    }

(* Changes here need to be synchronized with rust_parser_errors_ffi.rs *)
type ffi_t =
  bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool
  * bool

let to_rust_ffi_t po ~hhvm_compat_mode ~hhi_mode ~codegen =
  ( hhvm_compat_mode,
    hhi_mode,
    codegen,
    disable_lval_as_an_expression po,
    disable_legacy_soft_typehints po,
    const_static_props po,
    disable_legacy_attribute_syntax po,
    const_default_func_args po,
    abstract_static_props po,
    disallow_func_ptrs_in_constants po,
    enable_xhp_class_modifier po,
    disable_xhp_element_mangling po,
    disable_xhp_children_declarations po,
    enable_enum_classes po,
    disable_modes po,
    disable_array po,
    const_default_lambda_args po,
    disable_array_typehint po,
    allow_unstable_features po,
    disallow_hash_comments po,
    disallow_fun_and_cls_meth_pseudo_funcs po,
    interpret_soft_types_as_like_types po,
    disallow_inst_meth po,
    enable_readonly_in_emitter po,
    escape_brace po )