More refactoring of the Debug Information.

In order to remove unnecessary dependecies the implemenation type is made
and the DebugInit file initializes the fields in the record. This allows
it to move more functions behind the Debug interface without introducing
circular dependencies.

1 files changed, 0 insertions, 49 deletions

diff --git a/debug/Debug.ml b/debug/Debug.ml
index 7155ae0f..a496b610 100644
--- a/debug/Debug.ml
+++ b/debug/Debug.ml
@@ -72,55 +72,6 @@ let implem =
    add_label = (fun _ _ _ -> ());
 }
 
-let init () =
-  if !Clflags.option_g then begin
-    implem.init <- DebugInformation.init;
-    implem.atom_function <- DebugInformation.atom_function;
-    implem.atom_global_variable <- DebugInformation.atom_global_variable;
-    implem.set_composite_size <- DebugInformation.set_composite_size;
-    implem.set_member_offset <- DebugInformation.set_member_offset;
-    implem.set_bitfield_offset <- DebugInformation.set_bitfield_offset;
-    implem.insert_global_declaration <- DebugInformation.insert_global_declaration;
-    implem.add_fun_addr <- DebugInformation.add_fun_addr;
-    implem.generate_debug_info <- (fun () -> Some (Dwarfgen.gen_debug_info ()));
-    implem.all_files_iter <- (fun f -> DebugInformation.StringSet.iter f !DebugInformation.all_files);
-    implem.insert_local_declaration <- DebugInformation.insert_local_declaration;
-    implem.atom_local_variable <- DebugInformation.atom_local_variable;
-    implem.enter_scope <- DebugInformation.enter_scope;
-    implem.enter_function_scope <- DebugInformation.enter_function_scope;
-    implem.add_lvar_scope <- DebugInformation.add_lvar_scope;
-    implem.open_scope <- DebugInformation.open_scope;
-    implem.close_scope <- DebugInformation.close_scope;
-    implem.start_live_range <- DebugInformation.start_live_range;
-    implem.end_live_range <- DebugInformation.end_live_range;
-    implem.stack_variable <- DebugInformation.stack_variable;
-    implem.function_end <- DebugInformation.function_end;
-    implem.add_label <- DebugInformation.add_label;
-  end else begin
-    implem.init <- (fun _ -> ());
-    implem.atom_function <- (fun _ _ -> ());
-    implem.atom_global_variable <- (fun _ _ -> ());
-    implem.set_composite_size <- (fun _ _ _ -> ());
-    implem.set_member_offset <- (fun _ _ _ -> ());
-    implem.set_bitfield_offset <- (fun _ _ _ _ _ -> ());
-    implem.insert_global_declaration <- (fun _ _ -> ());
-    implem.add_fun_addr <- (fun _ _ -> ());
-    implem.generate_debug_info <- (fun _ -> None);
-    implem.all_files_iter <- (fun _ -> ());
-    implem.insert_local_declaration <- (fun  _ _ _ _ -> ());
-    implem.atom_local_variable <- (fun _ _ -> ());
-    implem.enter_scope <- (fun _ _  _ -> ());
-    implem.enter_function_scope <- (fun _ _ -> ());
-    implem.add_lvar_scope <- (fun _ _ _ -> ());
-    implem.open_scope <- (fun _ _ _ -> ());
-    implem.close_scope <- (fun _ _ _ -> ());
-    implem.start_live_range <- (fun _ _ _ -> ());
-    implem.end_live_range <- (fun _ _ -> ());
-    implem.stack_variable <- (fun _ _ -> ());
-    implem.function_end <- (fun _ _ -> ());
-    implem.add_label <- (fun _ _ _ -> ());
-  end
-
 let init_compile_unit name = implem.init name
 let atom_function id atom = implem.atom_function id atom
 let atom_global_variable id atom = implem.atom_global_variable id atom