Source file migrate_parsetree_52_53_migrate.ml

open Stdlib0
module From = Ast_52
module To = Ast_53
let rec (copy_out_type_extension :
          Ast_52.Outcometree.out_type_extension ->
            Ast_53.Outcometree.out_type_extension)
  =
  fun
    { Ast_52.Outcometree.otyext_name = otyext_name;
      Ast_52.Outcometree.otyext_params = otyext_params;
      Ast_52.Outcometree.otyext_constructors = otyext_constructors;
      Ast_52.Outcometree.otyext_private = otyext_private }
    ->
    {
      Ast_53.Outcometree.otyext_name = otyext_name;
      Ast_53.Outcometree.otyext_params =
        (List.map (fun x -> x) otyext_params);
      Ast_53.Outcometree.otyext_constructors =
        (List.map (fun x -> copy_out_constructor x) otyext_constructors);
      Ast_53.Outcometree.otyext_private = (copy_private_flag otyext_private)
    }
and (copy_out_phrase :
      Ast_52.Outcometree.out_phrase -> Ast_53.Outcometree.out_phrase)
  =
  function
  | Ast_52.Outcometree.Ophr_eval (x0, x1) ->
      Ast_53.Outcometree.Ophr_eval ((copy_out_value x0), (copy_out_type x1))
  | Ast_52.Outcometree.Ophr_signature x0 ->
      Ast_53.Outcometree.Ophr_signature
        (List.map
           (fun x ->
              let (x0, x1) = x in
              ((copy_out_sig_item x0),
                (Option.map (fun x -> copy_out_value x) x1))) x0)
  | Ast_52.Outcometree.Ophr_exception x0 ->
      Ast_53.Outcometree.Ophr_exception
        (let (x0, x1) = x0 in (x0, (copy_out_value x1)))
and (copy_out_sig_item :
      Ast_52.Outcometree.out_sig_item -> Ast_53.Outcometree.out_sig_item)
  =
  function
  | Ast_52.Outcometree.Osig_class (x0, x1, x2, x3, x4) ->
      Ast_53.Outcometree.Osig_class
        (x0, x1, (List.map (fun x -> copy_out_type_param x) x2),
          (copy_out_class_type x3), (copy_out_rec_status x4))
  | Ast_52.Outcometree.Osig_class_type (x0, x1, x2, x3, x4) ->
      Ast_53.Outcometree.Osig_class_type
        (x0, x1, (List.map (fun x -> copy_out_type_param x) x2),
          (copy_out_class_type x3), (copy_out_rec_status x4))
  | Ast_52.Outcometree.Osig_typext (x0, x1) ->
      Ast_53.Outcometree.Osig_typext
        ((copy_out_extension_constructor x0), (copy_out_ext_status x1))
  | Ast_52.Outcometree.Osig_modtype (x0, x1) ->
      Ast_53.Outcometree.Osig_modtype (x0, (copy_out_module_type x1))
  | Ast_52.Outcometree.Osig_module (x0, x1, x2) ->
      Ast_53.Outcometree.Osig_module
        (x0, (copy_out_module_type x1), (copy_out_rec_status x2))
  | Ast_52.Outcometree.Osig_type (x0, x1) ->
      Ast_53.Outcometree.Osig_type
        ((copy_out_type_decl x0), (copy_out_rec_status x1))
  | Ast_52.Outcometree.Osig_value x0 ->
      Ast_53.Outcometree.Osig_value (copy_out_val_decl x0)
  | Ast_52.Outcometree.Osig_ellipsis -> Ast_53.Outcometree.Osig_ellipsis
and (copy_out_val_decl :
      Ast_52.Outcometree.out_val_decl -> Ast_53.Outcometree.out_val_decl)
  =
  fun
    { Ast_52.Outcometree.oval_name = oval_name;
      Ast_52.Outcometree.oval_type = oval_type;
      Ast_52.Outcometree.oval_prims = oval_prims;
      Ast_52.Outcometree.oval_attributes = oval_attributes }
    ->
    {
      Ast_53.Outcometree.oval_name = oval_name;
      Ast_53.Outcometree.oval_type = (copy_out_type oval_type);
      Ast_53.Outcometree.oval_prims = (List.map (fun x -> x) oval_prims);
      Ast_53.Outcometree.oval_attributes =
        (List.map (fun x -> copy_out_attribute x) oval_attributes)
    }
and (copy_out_type_decl :
      Ast_52.Outcometree.out_type_decl -> Ast_53.Outcometree.out_type_decl)
  =
  fun
    { Ast_52.Outcometree.otype_name = otype_name;
      Ast_52.Outcometree.otype_params = otype_params;
      Ast_52.Outcometree.otype_type = otype_type;
      Ast_52.Outcometree.otype_private = otype_private;
      Ast_52.Outcometree.otype_immediate = otype_immediate;
      Ast_52.Outcometree.otype_unboxed = otype_unboxed;
      Ast_52.Outcometree.otype_cstrs = otype_cstrs }
    ->
    {
      Ast_53.Outcometree.otype_name = otype_name;
      Ast_53.Outcometree.otype_params =
        (List.map (fun x -> copy_out_type_param x) otype_params);
      Ast_53.Outcometree.otype_type = (copy_out_type otype_type);
      Ast_53.Outcometree.otype_private = (copy_private_flag otype_private);
      Ast_53.Outcometree.otype_immediate =
        (copy_Type_immediacy_t otype_immediate);
      Ast_53.Outcometree.otype_unboxed = otype_unboxed;
      Ast_53.Outcometree.otype_cstrs =
        (List.map
           (fun x ->
              let (x0, x1) = x in ((copy_out_type x0), (copy_out_type x1)))
           otype_cstrs)
    }
and (copy_Type_immediacy_t :
      Ast_52.Type_immediacy.t -> Ast_53.Type_immediacy.t)
  =
  function
  | Ast_52.Type_immediacy.Unknown -> Ast_53.Type_immediacy.Unknown
  | Ast_52.Type_immediacy.Always -> Ast_53.Type_immediacy.Always
  | Ast_52.Type_immediacy.Always_on_64bits ->
      Ast_53.Type_immediacy.Always_on_64bits
and (copy_out_module_type :
      Ast_52.Outcometree.out_module_type ->
        Ast_53.Outcometree.out_module_type)
  =
  function
  | Ast_52.Outcometree.Omty_abstract -> Ast_53.Outcometree.Omty_abstract
  | Ast_52.Outcometree.Omty_functor (x0, x1) ->
      Ast_53.Outcometree.Omty_functor
        ((Option.map
            (fun x ->
               let (x0, x1) = x in
               ((Option.map (fun x -> x) x0), (copy_out_module_type x1))) x0),
          (copy_out_module_type x1))
  | Ast_52.Outcometree.Omty_ident x0 ->
      Ast_53.Outcometree.Omty_ident (copy_out_ident x0)
  | Ast_52.Outcometree.Omty_signature x0 ->
      Ast_53.Outcometree.Omty_signature
        (List.map (fun x -> copy_out_sig_item x) x0)
  | Ast_52.Outcometree.Omty_alias x0 ->
      Ast_53.Outcometree.Omty_alias (copy_out_ident x0)
and (copy_out_ext_status :
      Ast_52.Outcometree.out_ext_status -> Ast_53.Outcometree.out_ext_status)
  =
  function
  | Ast_52.Outcometree.Oext_first -> Ast_53.Outcometree.Oext_first
  | Ast_52.Outcometree.Oext_next -> Ast_53.Outcometree.Oext_next
  | Ast_52.Outcometree.Oext_exception -> Ast_53.Outcometree.Oext_exception
and (copy_out_extension_constructor :
      Ast_52.Outcometree.out_extension_constructor ->
        Ast_53.Outcometree.out_extension_constructor)
  =
  fun
    { Ast_52.Outcometree.oext_name = oext_name;
      Ast_52.Outcometree.oext_type_name = oext_type_name;
      Ast_52.Outcometree.oext_type_params = oext_type_params;
      Ast_52.Outcometree.oext_args = oext_args;
      Ast_52.Outcometree.oext_ret_type = oext_ret_type;
      Ast_52.Outcometree.oext_private = oext_private }
    ->
    {
      Ast_53.Outcometree.oext_name = oext_name;
      Ast_53.Outcometree.oext_type_name = oext_type_name;
      Ast_53.Outcometree.oext_type_params =
        (List.map (fun x -> x) oext_type_params);
      Ast_53.Outcometree.oext_args =
        (List.map (fun x -> copy_out_type x) oext_args);
      Ast_53.Outcometree.oext_ret_type =
        (Option.map (fun x -> copy_out_type x) oext_ret_type);
      Ast_53.Outcometree.oext_private = (copy_private_flag oext_private)
    }
and (copy_private_flag :
      Ast_52.Asttypes.private_flag -> Ast_53.Asttypes.private_flag)
  =
  function
  | Ast_52.Asttypes.Private -> Ast_53.Asttypes.Private
  | Ast_52.Asttypes.Public -> Ast_53.Asttypes.Public
and (copy_out_rec_status :
      Ast_52.Outcometree.out_rec_status -> Ast_53.Outcometree.out_rec_status)
  =
  function
  | Ast_52.Outcometree.Orec_not -> Ast_53.Outcometree.Orec_not
  | Ast_52.Outcometree.Orec_first -> Ast_53.Outcometree.Orec_first
  | Ast_52.Outcometree.Orec_next -> Ast_53.Outcometree.Orec_next
and (copy_out_class_type :
      Ast_52.Outcometree.out_class_type -> Ast_53.Outcometree.out_class_type)
  =
  function
  | Ast_52.Outcometree.Octy_constr (x0, x1) ->
      Ast_53.Outcometree.Octy_constr
        ((copy_out_ident x0), (List.map (fun x -> copy_out_type x) x1))
  | Ast_52.Outcometree.Octy_arrow (x0, x1, x2) ->
      Ast_53.Outcometree.Octy_arrow
        ((copy_arg_label x0), (copy_out_type x1), (copy_out_class_type x2))
  | Ast_52.Outcometree.Octy_signature (x0, x1) ->
      Ast_53.Outcometree.Octy_signature
        ((Option.map (fun x -> copy_out_type x) x0),
          (List.map (fun x -> copy_out_class_sig_item x) x1))
and (copy_out_class_sig_item :
      Ast_52.Outcometree.out_class_sig_item ->
        Ast_53.Outcometree.out_class_sig_item)
  =
  function
  | Ast_52.Outcometree.Ocsg_constraint (x0, x1) ->
      Ast_53.Outcometree.Ocsg_constraint
        ((copy_out_type x0), (copy_out_type x1))
  | Ast_52.Outcometree.Ocsg_method (x0, x1, x2, x3) ->
      Ast_53.Outcometree.Ocsg_method (x0, x1, x2, (copy_out_type x3))
  | Ast_52.Outcometree.Ocsg_value (x0, x1, x2, x3) ->
      Ast_53.Outcometree.Ocsg_value (x0, x1, x2, (copy_out_type x3))
and (copy_out_type_param :
      Ast_52.Outcometree.out_type_param -> Ast_53.Outcometree.out_type_param)
  =
  fun
    { Ast_52.Outcometree.ot_non_gen = ot_non_gen;
      Ast_52.Outcometree.ot_name = ot_name;
      Ast_52.Outcometree.ot_variance = ot_variance }
    ->
    {
      Ast_53.Outcometree.ot_non_gen = ot_non_gen;
      Ast_53.Outcometree.ot_name = ot_name;
      Ast_53.Outcometree.ot_variance =
        (let (x0, x1) = ot_variance in
         ((copy_variance x0), (copy_injectivity x1)))
    }
and (copy_injectivity :
      Ast_52.Asttypes.injectivity -> Ast_53.Asttypes.injectivity)
  =
  function
  | Ast_52.Asttypes.Injective -> Ast_53.Asttypes.Injective
  | Ast_52.Asttypes.NoInjectivity -> Ast_53.Asttypes.NoInjectivity
and (copy_variance : Ast_52.Asttypes.variance -> Ast_53.Asttypes.variance) =
  function
  | Ast_52.Asttypes.Covariant -> Ast_53.Asttypes.Covariant
  | Ast_52.Asttypes.Contravariant -> Ast_53.Asttypes.Contravariant
  | Ast_52.Asttypes.NoVariance -> Ast_53.Asttypes.NoVariance
and (copy_out_type :
      Ast_52.Outcometree.out_type -> Ast_53.Outcometree.out_type)
  =
  function
  | Ast_52.Outcometree.Otyp_abstract -> Ast_53.Outcometree.Otyp_abstract
  | Ast_52.Outcometree.Otyp_open -> Ast_53.Outcometree.Otyp_open
  | Ast_52.Outcometree.Otyp_alias {non_gen; aliased; alias} ->
      Ast_53.Outcometree.Otyp_alias {non_gen; aliased=(copy_out_type aliased); alias}
  | Ast_52.Outcometree.Otyp_arrow (x0, x1, x2) ->
      Ast_53.Outcometree.Otyp_arrow
        ((copy_arg_label x0), (copy_out_type x1), (copy_out_type x2))
  | Ast_52.Outcometree.Otyp_class (x0, x1) ->
      Ast_53.Outcometree.Otyp_class
        ((copy_out_ident x0), (List.map (fun x -> copy_out_type x) x1))
  | Ast_52.Outcometree.Otyp_constr (x0, x1) ->
      Ast_53.Outcometree.Otyp_constr
        ((copy_out_ident x0), (List.map (fun x -> copy_out_type x) x1))
  | Ast_52.Outcometree.Otyp_manifest (x0, x1) ->
      Ast_53.Outcometree.Otyp_manifest
        ((copy_out_type x0), (copy_out_type x1))
  | Ast_52.Outcometree.Otyp_object { fields; open_row } ->
      Ast_53.Outcometree.Otyp_object
        { fields =
          ((List.map (fun x -> let (x0, x1) = x in (x0, (copy_out_type x1)))
          fields));
          open_row }
  | Ast_52.Outcometree.Otyp_record x0 ->
      Ast_53.Outcometree.Otyp_record
        (List.map
           (fun x -> let (x0, x1, x2) = x in
           { Ast_53.Outcometree.olab_name = x0
           ; olab_mut = if x1 then Mutable else Immutable
           ; olab_type = (copy_out_type x2)}) x0)
  | Ast_52.Outcometree.Otyp_stuff x0 -> Ast_53.Outcometree.Otyp_stuff x0
  | Ast_52.Outcometree.Otyp_sum x0 ->
      Ast_53.Outcometree.Otyp_sum
        (List.map (fun x -> copy_out_constructor x) x0)
  | Ast_52.Outcometree.Otyp_tuple x0 ->
      Ast_53.Outcometree.Otyp_tuple (List.map (fun x -> copy_out_type x) x0)
  | Ast_52.Outcometree.Otyp_var (x0, x1) ->
      Ast_53.Outcometree.Otyp_var (x0, x1)
  | Ast_52.Outcometree.Otyp_variant (x0, x1, x2) ->
      Ast_53.Outcometree.Otyp_variant
        ((copy_out_variant x0), x1,
          (Option.map (fun x -> List.map (fun x -> x) x) x2))
  | Ast_52.Outcometree.Otyp_poly (x0, x1) ->
      Ast_53.Outcometree.Otyp_poly
        ((List.map (fun x -> x) x0), (copy_out_type x1))
  | Ast_52.Outcometree.Otyp_module (x0, x1) ->
      Ast_53.Outcometree.Otyp_module
        ((copy_out_ident x0),
          (List.map (fun x -> let (x0, x1) = x in (x0, (copy_out_type x1)))
             x1))
  | Ast_52.Outcometree.Otyp_attribute (x0, x1) ->
      Ast_53.Outcometree.Otyp_attribute
        ((copy_out_type x0), (copy_out_attribute x1))
and (copy_out_attribute :
      Ast_52.Outcometree.out_attribute -> Ast_53.Outcometree.out_attribute)
  =
  fun { Ast_52.Outcometree.oattr_name = oattr_name } ->
    { Ast_53.Outcometree.oattr_name = oattr_name }
and (copy_out_variant :
      Ast_52.Outcometree.out_variant -> Ast_53.Outcometree.out_variant)
  =
  function
  | Ast_52.Outcometree.Ovar_fields x0 ->
      Ast_53.Outcometree.Ovar_fields
        (List.map
           (fun x ->
              let (x0, x1, x2) = x in
              (x0, x1, (List.map (fun x -> copy_out_type x) x2))) x0)
  | Ast_52.Outcometree.Ovar_typ x0 ->
      Ast_53.Outcometree.Ovar_typ (copy_out_type x0)
and (copy_out_constructor :
      Ast_52.Outcometree.out_constructor ->
        Ast_53.Outcometree.out_constructor)
  =
  fun
    { Ast_52.Outcometree.ocstr_name = ocstr_name;
      Ast_52.Outcometree.ocstr_args = ocstr_args;
      Ast_52.Outcometree.ocstr_return_type = ocstr_return_type }
    ->
    {
      Ast_53.Outcometree.ocstr_name = ocstr_name;
      Ast_53.Outcometree.ocstr_args =
        (List.map (fun x -> copy_out_type x) ocstr_args);
      Ast_53.Outcometree.ocstr_return_type =
        (Option.map (fun x -> copy_out_type x) ocstr_return_type)
    }
and (copy_arg_label : Ast_52.Asttypes.arg_label -> Ast_53.Asttypes.arg_label)
  =
  function
  | Ast_52.Asttypes.Nolabel -> Ast_53.Asttypes.Nolabel
  | Ast_52.Asttypes.Labelled x0 -> Ast_53.Asttypes.Labelled x0
  | Ast_52.Asttypes.Optional x0 -> Ast_53.Asttypes.Optional x0
and (copy_out_value :
      Ast_52.Outcometree.out_value -> Ast_53.Outcometree.out_value)
  =
  function
  | Ast_52.Outcometree.Oval_array x0 ->
      Ast_53.Outcometree.Oval_array (List.map (fun x -> copy_out_value x) x0)
  | Ast_52.Outcometree.Oval_char x0 -> Ast_53.Outcometree.Oval_char x0
  | Ast_52.Outcometree.Oval_constr (x0, x1) ->
      Ast_53.Outcometree.Oval_constr
        ((copy_out_ident x0), (List.map (fun x -> copy_out_value x) x1))
  | Ast_52.Outcometree.Oval_ellipsis -> Ast_53.Outcometree.Oval_ellipsis
  | Ast_52.Outcometree.Oval_float x0 -> Ast_53.Outcometree.Oval_float x0
  | Ast_52.Outcometree.Oval_int x0 -> Ast_53.Outcometree.Oval_int x0
  | Ast_52.Outcometree.Oval_int32 x0 -> Ast_53.Outcometree.Oval_int32 x0
  | Ast_52.Outcometree.Oval_int64 x0 -> Ast_53.Outcometree.Oval_int64 x0
  | Ast_52.Outcometree.Oval_nativeint x0 ->
      Ast_53.Outcometree.Oval_nativeint x0
  | Ast_52.Outcometree.Oval_list x0 ->
      Ast_53.Outcometree.Oval_list (List.map (fun x -> copy_out_value x) x0)
  | Ast_52.Outcometree.Oval_printer x0 ->
      Ast_53.Outcometree.Oval_printer (Caml_format_doc.deprecated_printer x0)
  | Ast_52.Outcometree.Oval_record x0 ->
      Ast_53.Outcometree.Oval_record
        (List.map
           (fun x ->
              let (x0, x1) = x in ((copy_out_ident x0), (copy_out_value x1)))
           x0)
  | Ast_52.Outcometree.Oval_string (x0, x1, x2) ->
      Ast_53.Outcometree.Oval_string (x0, x1, (copy_out_string x2))
  | Ast_52.Outcometree.Oval_stuff x0 -> Ast_53.Outcometree.Oval_stuff x0
  | Ast_52.Outcometree.Oval_tuple x0 ->
      Ast_53.Outcometree.Oval_tuple (List.map (fun x -> copy_out_value x) x0)
  | Ast_52.Outcometree.Oval_variant (x0, x1) ->
      Ast_53.Outcometree.Oval_variant
        (x0, (Option.map (fun x -> copy_out_value x) x1))
  | Ast_52.Outcometree.Oval_lazy x0 ->
      Ast_53.Outcometree.Oval_lazy (copy_out_value x0)
and (copy_out_string :
      Ast_52.Outcometree.out_string -> Ast_53.Outcometree.out_string)
  =
  function
  | Ast_52.Outcometree.Ostr_string -> Ast_53.Outcometree.Ostr_string
  | Ast_52.Outcometree.Ostr_bytes -> Ast_53.Outcometree.Ostr_bytes
and (copy_out_ident :
      Ast_52.Outcometree.out_ident -> Ast_53.Outcometree.out_ident)
  =
  function
  | Ast_52.Outcometree.Oide_apply (x0, x1) ->
      Ast_53.Outcometree.Oide_apply
        ((copy_out_ident x0), (copy_out_ident x1))
  | Ast_52.Outcometree.Oide_dot (x0, x1) ->
      Ast_53.Outcometree.Oide_dot ((copy_out_ident x0), x1)
  | Ast_52.Outcometree.Oide_ident x0 ->
      Ast_53.Outcometree.Oide_ident (copy_out_name x0)
and (copy_out_name :
      Ast_52.Outcometree.out_name -> Ast_53.Outcometree.out_name)
  =
  fun { Ast_52.Outcometree.printed_name = printed_name } ->
    { Ast_53.Outcometree.printed_name = printed_name }