ocamlformat

Author: spiessimon

backend/arm64/emit.ml

@@ -2122,7 +2122,8 @@ let begin_assembly _unix =
   Asm_targets.Asm_label.initialize ~new_label:(fun () ->
       Cmm.new_label () |> Label.to_int);
   let asm_line_buffer = Buffer.create 200 in
-  D.initialize ~big_endian:Arch.big_endian ~emit_assembly_comments:!Flambda_backend_flags.dasm_comments ~emit:(fun d ->
+  D.initialize ~big_endian:Arch.big_endian
+    ~emit_assembly_comments:!Flambda_backend_flags.dasm_comments ~emit:(fun d ->
       Buffer.clear asm_line_buffer;
       D.Directive.print asm_line_buffer d;
       Buffer.add_string asm_line_buffer "\n";

backend/asm_targets/asm_directives_dwarf.ml

@@ -12,7 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-
 type t = unit
 
 let build_asm_directives () = ()

backend/asm_targets/asm_directives_dwarf.mli

@@ -12,7 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-
 type t
 
 val build_asm_directives : unit -> t

backend/asm_targets/asm_directives_new.ml

@@ -53,13 +53,13 @@ let big_endian () =
   | None -> not_initialized ()
   | Some big_endian -> big_endian
 
-
 let emit_comments () =
   let emit_assembly_comments =
     match !emit_assembly_comments_ref with
     | None -> not_initialized ()
     | Some emit_assembly_comments -> emit_assembly_comments
-  in emit_assembly_comments && !Clflags.keep_asm_file
+  in
+  emit_assembly_comments && !Clflags.keep_asm_file
 
 type symbol_type =
   | Function
@@ -197,7 +197,6 @@ module Directive = struct
 
   let bprintf = Printf.bprintf
 
-
   (* CR sspies: This code is a duplicate with [emit_string_literal] in
      [emitaux.ml]. Hopefully, we can deduplicate this soon. *)
   let string_of_string_literal s =
@@ -443,8 +442,7 @@ type expr =
   | Symbol of Asm_symbol.t
   | Add of expr * expr
   | Sub of expr * expr
-  | Variable of string
-  (** macOS only *)
+  | Variable of string  (** macOS only *)
 
 let rec lower_expr (cst : expr) : Directive.Constant.t =
   match cst with
@@ -708,7 +706,8 @@ let file ~file_num ~file_name () =
   in
   emit_non_masm (File { file_num; filename = file_name })
 
-let initialize ~big_endian ~emit_assembly_comments ~(emit : Directive.t -> unit) =
+let initialize ~big_endian ~emit_assembly_comments ~(emit : Directive.t -> unit)
+    =
   big_endian_ref := Some big_endian;
   emit_ref := Some emit;
   emit_assembly_comments_ref := Some emit_assembly_comments;
@@ -810,7 +809,9 @@ let emit_cached_strings () =
       int8 Int8.zero)
     !cached_strings;
   cached_strings := Cached_string.Map.empty;
-  Option.iter (switch_to_section ~emit_label_on_first_occurrence:false) old_dwarf_section
+  Option.iter
+    (switch_to_section ~emit_label_on_first_occurrence:false)
+    old_dwarf_section
 
 let mark_stack_non_executable () =
   let current_section = current_section () in

backend/asm_targets/asm_directives_new.mli

@@ -414,7 +414,11 @@ end
     If Dwarf debug information is supposed to be produced,
     additionally [debug_header] should be called, which
     will switch to the text section after emitting some debug section labels.  *)
-val initialize : big_endian:bool -> emit_assembly_comments:bool -> emit:(Directive.t -> unit) -> unit
+val initialize :
+  big_endian:bool ->
+  emit_assembly_comments:bool ->
+  emit:(Directive.t -> unit) ->
+  unit
 
 val debug_header : get_file_num:(string -> int) -> unit
 

backend/debug/dwarf/dwarf_high/dwarf_world.mli

@@ -19,7 +19,7 @@ open Asm_targets
 open Dwarf_low
 
 val emit :
-  asm_directives:(Asm_directives_dwarf.t) ->
+  asm_directives:Asm_directives_dwarf.t ->
   compilation_unit_proto_die:Proto_die.t ->
   compilation_unit_header_label:Asm_label.t ->
   debug_loc_table:Debug_loc_table.t ->
@@ -31,7 +31,7 @@ val emit :
   unit
 
 val emit_delayed :
-  asm_directives:(Asm_directives_dwarf.t) ->
+  asm_directives:Asm_directives_dwarf.t ->
   basic_block_sections:bool ->
   binary_backend_available:bool ->
   unit

backend/debug/dwarf/dwarf_low/address_index.mli

@@ -28,7 +28,6 @@ include Identifiable.S with type t := t
 
 val size : t -> Dwarf_int.t
 
-val emit :
-  asm_directives:(Asm_directives_dwarf.t) -> ?comment:string -> t -> unit
+val emit : asm_directives:Asm_directives_dwarf.t -> ?comment:string -> t -> unit
 
 module Pair : Identifiable.S with type t = t * t

backend/debug/dwarf/dwarf_low/dwarf_emittable.ml

@@ -24,7 +24,7 @@ module type S = sig
   val size : t -> Dwarf_int.t
 
   (** Emit assembler directives to describe the given entity. *)
-  val emit : asm_directives:(Asm_directives_dwarf.t) -> t -> unit
+  val emit : asm_directives:Asm_directives_dwarf.t -> t -> unit
 end
 
 module type S1_ignore = sig
@@ -34,5 +34,5 @@ module type S1_ignore = sig
   val size : _ t -> Dwarf_int.t
 
   (** Emit assembler directives to describe the given entity. *)
-  val emit : asm_directives:(Asm_directives_dwarf.t) -> _ t -> unit
+  val emit : asm_directives:Asm_directives_dwarf.t -> _ t -> unit
 end

backend/debug/dwarf/dwarf_low/dwarf_int.mli

@@ -67,5 +67,4 @@ val succ : t -> t
 
 val size : t -> t
 
-val emit :
-  asm_directives:(Asm_directives_dwarf.t) -> ?comment:string -> t -> unit
+val emit : asm_directives:Asm_directives_dwarf.t -> ?comment:string -> t -> unit

backend/debug/dwarf/dwarf_low/dwarf_operator.ml

@@ -740,7 +740,7 @@ module Size = Make (struct
 end)
 
 module Emit = Make (struct
-  type param = (Asm_directives_dwarf.t)
+  type param = Asm_directives_dwarf.t
 
   type result = unit