dune fmt

Author: aspeddro

jscomp/frontend/ast_derive_js_mapper.ml

@@ -219,7 +219,8 @@ let init () =
                         else Exp.constraint_ obj_exp core_type))
                 in
                 let rest = [to_js; from_js] in
-                if create_type then erase_type_str :: new_type_str :: rest else rest
+                if create_type then erase_type_str :: new_type_str :: rest
+                else rest
               | Ptype_abstract -> (
                 match Ast_polyvar.is_enum_polyvar tdcl with
                 | Some row_fields ->
@@ -243,7 +244,8 @@ let init () =
                              ( {txt = "raw"; loc},
                                PStr
                                  [
-                                   Str.eval (Exp.constant (Const.string rev_data));
+                                   Str.eval
+                                     (Exp.constant (Const.string rev_data));
                                  ] )
                          else exp_map);
                       to_js_body
@@ -303,7 +305,8 @@ let init () =
                 in
                 new_type_str
                 +? [
-                     to_js_type (if create_type then new_type else obj_type Closed);
+                     to_js_type
+                       (if create_type then new_type else obj_type Closed);
                      Ast_comb.single_non_rec_val pat_from_js
                        ((if create_type then new_type else obj_type Open)
                        ->~ core_type);

jscomp/frontend/ast_tdcls.ml

@@ -51,8 +51,8 @@ let handle_tdcls_in_sigi (self : Bs_ast_mapper.mapper)
     let kind = Ast_derive_abstract.is_abstract actions in
     if kind <> Not_abstract then
       let codes =
-        Ast_derive_abstract.handle_tdcls_in_sig ~light:(kind = Light_abstract) rf
-          original_tdcls_new_attrs
+        Ast_derive_abstract.handle_tdcls_in_sig ~light:(kind = Light_abstract)
+          rf original_tdcls_new_attrs
       in
       Ast_signature.fuse_all ~loc
         (Sig.include_ ~loc
@@ -87,8 +87,8 @@ let handle_tdcls_in_stru (self : Bs_ast_mapper.mapper)
     let kind = Ast_derive_abstract.is_abstract actions in
     if kind <> Not_abstract then
       let codes =
-        Ast_derive_abstract.handle_tdcls_in_str ~light:(kind = Light_abstract) rf
-          original_tdcls_new_attrs
+        Ast_derive_abstract.handle_tdcls_in_str ~light:(kind = Light_abstract)
+          rf original_tdcls_new_attrs
       in
       (* use [tdcls2] avoid nonterminating *)
       Ast_structure.fuse_all ~loc

jscomp/gentype/Annotation.ml

@@ -136,15 +136,17 @@ let get_as_int attributes =
   | _ -> None
 
 let get_attribute_import_renaming attributes =
-  let attribute_import = attributes |> get_attribute_payload tag_is_gen_type_import in
+  let attribute_import =
+    attributes |> get_attribute_payload tag_is_gen_type_import
+  in
   let gen_type_as_renaming = attributes |> get_gen_type_as_renaming in
   match (attribute_import, gen_type_as_renaming) with
   | Some (_, StringPayload import_string), _ ->
     (Some import_string, gen_type_as_renaming)
   | ( Some
         ( _,
-          TuplePayload [StringPayload import_string; StringPayload rename_string]
-        ),
+          TuplePayload
+            [StringPayload import_string; StringPayload rename_string] ),
       _ ) ->
     (Some import_string, Some rename_string)
   | _ -> (None, gen_type_as_renaming)
@@ -169,7 +171,10 @@ let from_attributes ~(config : GenTypeConfig.t) ~loc
     (attributes : Typedtree.attributes) =
   let default = if config.everything then GenType else NoGenType in
   if has_attribute tag_is_gen_type_opaque attributes then GenTypeOpaque
-  else if has_attribute (fun s -> tag_is_gen_type s || tag_is_gen_type_as s) attributes
+  else if
+    has_attribute
+      (fun s -> tag_is_gen_type s || tag_is_gen_type_as s)
+      attributes
   then (
     (match attributes |> get_attribute_payload tag_is_gen_type with
     | Some (_, UnrecognizedPayload) -> ()
@@ -226,8 +231,8 @@ and signature_item_check_annotation ~check_annotation
   | Tsig_include _ | Tsig_class _ | Tsig_class_type _ ->
     false
 
-and signature_check_annotation ~check_annotation (signature : Typedtree.signature)
-    =
+and signature_check_annotation ~check_annotation
+    (signature : Typedtree.signature) =
   signature.sig_items
   |> List.exists (signature_item_check_annotation ~check_annotation)
 
@@ -283,8 +288,8 @@ and module_binding_check_annotation ~check_annotation
   mb_attributes |> check_annotation ~loc
   || mb_expr |> module_expr_check_annotation ~check_annotation
 
-and structure_check_annotation ~check_annotation (structure : Typedtree.structure)
-    =
+and structure_check_annotation ~check_annotation
+    (structure : Typedtree.structure) =
   structure.str_items
   |> List.exists (structure_item_check_annotation ~check_annotation)
 

jscomp/gentype/Converter.ml

@@ -10,9 +10,12 @@ let type_get_inlined ~config ~lookup_id ~type_name_is_interface type0 =
       Array (t_normalized, mutable_)
     | Dict _ -> normalized_
     | Function ({arg_types; ret_type} as function_) ->
-      let arg_converted = arg_types |> List.map (arg_type_to_grouped_arg ~visited) in
+      let arg_converted =
+        arg_types |> List.map (arg_type_to_grouped_arg ~visited)
+      in
       let ret_normalized = ret_type |> visit ~visited in
-      Function {function_ with arg_types = arg_converted; ret_type = ret_normalized}
+      Function
+        {function_ with arg_types = arg_converted; ret_type = ret_normalized}
     | Ident {builtin = true} -> normalized_
     | Ident {builtin = false; name; type_args} -> (
       if visited |> StringSet.mem name then (
@@ -37,7 +40,9 @@ let type_get_inlined ~config ~lookup_id ~type_name_is_interface type0 =
           let inlined = type_ |> TypeVars.substitute ~f |> visit ~visited in
           inlined
         | exception Not_found ->
-          let type_args = type_args |> List.map (fun t -> t |> visit ~visited) in
+          let type_args =
+            type_args |> List.map (fun t -> t |> visit ~visited)
+          in
           Ident {builtin = false; name; type_args})
     | Null t ->
       let t_normalized = t |> visit ~visited in

jscomp/gentype/Dependencies.ml

@@ -21,15 +21,19 @@ let rec fromPath1 ~config ~type_env (path : Path.t) =
       match typeEnv1 |> TypeEnv.expand_alias_to_external_module ~name with
       | Some dep -> (typeEnv2, dep)
       | None ->
-        let resolved_name = name |> TypeEnv.add_module_path ~type_env:typeEnv1 in
+        let resolved_name =
+          name |> TypeEnv.add_module_path ~type_env:typeEnv1
+        in
         (typeEnv2, Internal resolved_name)))
-  | Pdot (Pident id, s, _pos) when id |> ScopedPackage.is_generated_module ~config
-    ->
+  | Pdot (Pident id, s, _pos)
+    when id |> ScopedPackage.is_generated_module ~config ->
     ( type_env,
       External (s |> ScopedPackage.add_generated_module ~generated_module:id) )
   | Pdot (p, s, _pos) -> (
     let type_env_from_p, dep = p |> fromPath1 ~config ~type_env in
-    match type_env_from_p |> TypeEnv.expand_alias_to_external_module ~name:s with
+    match
+      type_env_from_p |> TypeEnv.expand_alias_to_external_module ~name:s
+    with
     | Some dep -> (type_env_from_p, dep)
     | None -> (type_env_from_p, Dot (dep, s)))
   | Papply _ ->