bug 17567, typos

4 files changed, 11 insertions, 11 deletions

diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml
index 51fbfde9..ed00ea0d 100644
--- a/debug/DebugInformation.ml
+++ b/debug/DebugInformation.ml
@@ -65,7 +65,7 @@ let strip_attributes typ = strip_attributes_type typ [AConst; AVolatile]
 
 (* Find the type id to an type *)
 let find_type (ty: typ) =
-  (* We are only interrested in Const and Volatile *)
+  (* We are only interested in Const and Volatile *)
   let ty = strip_attributes ty in
   Hashtbl.find lookup_types (typ_to_string ty)
 
@@ -77,7 +77,7 @@ let insert_type (ty: typ) =
     Hashtbl.add types id d_ty;
     Hashtbl.add lookup_types name id;
     id in
-  (* We are only interrested in Const and Volatile *)
+  (* We are only interested in Const and Volatile *)
   let ty = strip_attributes ty in
   let rec typ_aux ty =
     try find_type ty with
@@ -255,14 +255,14 @@ let replace_fun id f =
 (* All local variables *)
 let local_variables: (int, local_information) Hashtbl.t = Hashtbl.create 7
 
-(* Mapping from stampt to the debug id of the local variable *)
+(* Mapping from stamp to the debug id of the local variable *)
 let stamp_to_local: (int,int) Hashtbl.t = Hashtbl.create 7
 
-(* Map from scope id + function id to debug id *)
+(* Map from function id + scope id to debug id *)
 let scope_to_local: (int * int,int) Hashtbl.t = Hashtbl.create 7
 
-(* Map from scope id + function atom to debug id *)
-let atom_to_scope: (atom * int, int) Hashtbl.t = Hashtbl.create 7
+(* Map from function atom + scope id atom to debug id *)
+let atom_to_scope: (atom * int,int) Hashtbl.t = Hashtbl.create 7
 
 let find_lvar_stamp id =
   let id = (Hashtbl.find stamp_to_local id) in
@@ -299,7 +299,7 @@ let remove_unused id =
     Hashtbl.remove stamp_to_definition id.stamp
   with Not_found -> ()
 
-let insert_global_declaration env dec=
+let insert_global_declaration env dec =
   add_file (fst dec.gloc);
   let insert d_dec stamp =
     let id = next_id () in
diff --git a/debug/DebugTypes.mli b/debug/DebugTypes.mli
index b2f19f7a..e885fc59 100644
--- a/debug/DebugTypes.mli
+++ b/debug/DebugTypes.mli
@@ -147,7 +147,7 @@ type local_variable_information = {
     lvar_atom:    atom option;
     lvar_file_loc:location;
     lvar_type:    int;
-    lvar_static:  bool;  (* Static variable are mapped to symbols *)
+    lvar_static:  bool;  (* Static variables are mapped to symbols *)
   }
 
 type scope_information =
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli
index a4c75201..2af64c0b 100644
--- a/debug/DwarfTypes.mli
+++ b/debug/DwarfTypes.mli
@@ -297,7 +297,7 @@ type debug_entries =
   | Gnu of gnu_entries
 
 (* The target specific functions for printing the debug information *)
-module type DWARF_TARGET=
+module type DWARF_TARGET =
   sig
     val label: out_channel -> int -> unit
     val section: out_channel -> section_name -> unit
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml
index d198a92f..9baf6d70 100644
--- a/debug/Dwarfgen.ml
+++ b/debug/Dwarfgen.ml
@@ -182,8 +182,8 @@ module Dwarfgenaux (Target: TARGET) =
         enumeration_name = string_entry e.enum_name;
       } in
       let enum = new_entry id (DW_TAG_enumeration_type enum) in
-      let child = List.map enumerator_to_entry e.enum_enumerators in
-      add_children enum child
+      let children = List.map enumerator_to_entry e.enum_enumerators in
+      add_children enum children
 
     let fun_type_to_entry id f =
       let children = if f.fun_prototyped then