diff options
| author | Mark Shinwell <mshinwell@janestreet.com> | 2012-11-23 14:55:29 (GMT) |
|---|---|---|
| committer | Mark Shinwell <mshinwell@janestreet.com> | 2012-11-23 14:55:29 (GMT) |
| commit | 6a124349a54f43d5800699408fc8bfd99e6b1e8f (patch) | |
| tree | 8168f8a3d140eb80339e66805fe5018ab72e7174 | |
| parent | 7c67b08cdb9ad9e139eede3e2101819db0b695d8 (diff) | |
| download | ocaml-dwarf.zip ocaml-dwarf.tar.gz ocaml-dwarf.tar.bz2 | |
file headersdwarf
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dwarf@13103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
49 files changed, 588 insertions, 0 deletions
diff --git a/asmcomp/dwarf_low/abbreviation_code.ml b/asmcomp/dwarf_low/abbreviation_code.ml index 06e78ca..6550dcd 100644 --- a/asmcomp/dwarf_low/abbreviation_code.ml +++ b/asmcomp/dwarf_low/abbreviation_code.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = Value.t diff --git a/asmcomp/dwarf_low/abbreviation_code.mli b/asmcomp/dwarf_low/abbreviation_code.mli index f9a69fb..decc39a 100644 --- a/asmcomp/dwarf_low/abbreviation_code.mli +++ b/asmcomp/dwarf_low/abbreviation_code.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/abbreviations_table.ml b/asmcomp/dwarf_low/abbreviations_table.ml index 91f56b4..0a8f9c3 100644 --- a/asmcomp/dwarf_low/abbreviations_table.ml +++ b/asmcomp/dwarf_low/abbreviations_table.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = Abbreviations_table_entry.t list diff --git a/asmcomp/dwarf_low/abbreviations_table.mli b/asmcomp/dwarf_low/abbreviations_table.mli index 4327772..ae25cf8 100644 --- a/asmcomp/dwarf_low/abbreviations_table.mli +++ b/asmcomp/dwarf_low/abbreviations_table.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/abbreviations_table_entry.ml b/asmcomp/dwarf_low/abbreviations_table_entry.ml index 3b7ef95..f1b58ea 100644 --- a/asmcomp/dwarf_low/abbreviations_table_entry.ml +++ b/asmcomp/dwarf_low/abbreviations_table_entry.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = { diff --git a/asmcomp/dwarf_low/abbreviations_table_entry.mli b/asmcomp/dwarf_low/abbreviations_table_entry.mli index d639b95..03b9794 100644 --- a/asmcomp/dwarf_low/abbreviations_table_entry.mli +++ b/asmcomp/dwarf_low/abbreviations_table_entry.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/aranges_table.ml b/asmcomp/dwarf_low/aranges_table.ml index 5839440..19f7a35 100644 --- a/asmcomp/dwarf_low/aranges_table.ml +++ b/asmcomp/dwarf_low/aranges_table.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = { diff --git a/asmcomp/dwarf_low/aranges_table.mli b/asmcomp/dwarf_low/aranges_table.mli index d49e2af..7cc6b6e 100644 --- a/asmcomp/dwarf_low/aranges_table.mli +++ b/asmcomp/dwarf_low/aranges_table.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/attribute.ml b/asmcomp/dwarf_low/attribute.ml index 33c4a3e..d90f686 100644 --- a/asmcomp/dwarf_low/attribute.ml +++ b/asmcomp/dwarf_low/attribute.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = diff --git a/asmcomp/dwarf_low/attribute.mli b/asmcomp/dwarf_low/attribute.mli index 95f3599..dd67a10 100644 --- a/asmcomp/dwarf_low/attribute.mli +++ b/asmcomp/dwarf_low/attribute.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t (* [emit] emits the attribute followed by the form. *) diff --git a/asmcomp/dwarf_low/attribute_value.ml b/asmcomp/dwarf_low/attribute_value.ml index 810d9d5..a7138ca 100644 --- a/asmcomp/dwarf_low/attribute_value.ml +++ b/asmcomp/dwarf_low/attribute_value.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = Attribute.t * Value.t diff --git a/asmcomp/dwarf_low/attribute_value.mli b/asmcomp/dwarf_low/attribute_value.mli index 2fd7f06..710a8fa 100644 --- a/asmcomp/dwarf_low/attribute_value.mli +++ b/asmcomp/dwarf_low/attribute_value.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/child_determination.ml b/asmcomp/dwarf_low/child_determination.ml index d626f82..6f32c35 100644 --- a/asmcomp/dwarf_low/child_determination.ml +++ b/asmcomp/dwarf_low/child_determination.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = diff --git a/asmcomp/dwarf_low/child_determination.mli b/asmcomp/dwarf_low/child_determination.mli index 79d2765..581d583 100644 --- a/asmcomp/dwarf_low/child_determination.mli +++ b/asmcomp/dwarf_low/child_determination.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/debug_info_section.ml b/asmcomp/dwarf_low/debug_info_section.ml index edb54d9..146aa22 100644 --- a/asmcomp/dwarf_low/debug_info_section.ml +++ b/asmcomp/dwarf_low/debug_info_section.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = { diff --git a/asmcomp/dwarf_low/debug_info_section.mli b/asmcomp/dwarf_low/debug_info_section.mli index 528a068..7947b70 100644 --- a/asmcomp/dwarf_low/debug_info_section.mli +++ b/asmcomp/dwarf_low/debug_info_section.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/debug_loc_table.ml b/asmcomp/dwarf_low/debug_loc_table.ml index d1f581e..4f2c498 100644 --- a/asmcomp/dwarf_low/debug_loc_table.ml +++ b/asmcomp/dwarf_low/debug_loc_table.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = Location_list.t list diff --git a/asmcomp/dwarf_low/debug_loc_table.mli b/asmcomp/dwarf_low/debug_loc_table.mli index 063b53c..7df2006 100644 --- a/asmcomp/dwarf_low/debug_loc_table.mli +++ b/asmcomp/dwarf_low/debug_loc_table.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/debugging_information_entry.ml b/asmcomp/dwarf_low/debugging_information_entry.ml index 70c9eae..f2f7033 100644 --- a/asmcomp/dwarf_low/debugging_information_entry.ml +++ b/asmcomp/dwarf_low/debugging_information_entry.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = { diff --git a/asmcomp/dwarf_low/debugging_information_entry.mli b/asmcomp/dwarf_low/debugging_information_entry.mli index ede069f..49f32f0 100644 --- a/asmcomp/dwarf_low/debugging_information_entry.mli +++ b/asmcomp/dwarf_low/debugging_information_entry.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/dwarf_low_dot_std.ml b/asmcomp/dwarf_low/dwarf_low_dot_std.ml index 2bb114f..5314ec5 100644 --- a/asmcomp/dwarf_low/dwarf_low_dot_std.ml +++ b/asmcomp/dwarf_low/dwarf_low_dot_std.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + module Dwarf_low = struct module Abbreviations_table = Abbreviations_table module Aranges_table = Aranges_table diff --git a/asmcomp/dwarf_low/emittable.ml b/asmcomp/dwarf_low/emittable.ml index e52b1ea..0083e4f 100644 --- a/asmcomp/dwarf_low/emittable.ml +++ b/asmcomp/dwarf_low/emittable.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal module type S = sig diff --git a/asmcomp/dwarf_low/emitter.ml b/asmcomp/dwarf_low/emitter.ml index 323555f..0f3e73f 100644 --- a/asmcomp/dwarf_low/emitter.ml +++ b/asmcomp/dwarf_low/emitter.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = { diff --git a/asmcomp/dwarf_low/emitter.mli b/asmcomp/dwarf_low/emitter.mli index 520fe38..a937f6b 100644 --- a/asmcomp/dwarf_low/emitter.mli +++ b/asmcomp/dwarf_low/emitter.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t val create : emit_string:(string -> unit) diff --git a/asmcomp/dwarf_low/encoding_attribute.ml b/asmcomp/dwarf_low/encoding_attribute.ml index 9c1596a..588a680 100644 --- a/asmcomp/dwarf_low/encoding_attribute.ml +++ b/asmcomp/dwarf_low/encoding_attribute.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = diff --git a/asmcomp/dwarf_low/encoding_attribute.mli b/asmcomp/dwarf_low/encoding_attribute.mli index 66345ac..cb7e01c 100644 --- a/asmcomp/dwarf_low/encoding_attribute.mli +++ b/asmcomp/dwarf_low/encoding_attribute.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t val signed : t diff --git a/asmcomp/dwarf_low/form.ml b/asmcomp/dwarf_low/form.ml index 4539a9c..96ec3f2 100644 --- a/asmcomp/dwarf_low/form.ml +++ b/asmcomp/dwarf_low/form.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = diff --git a/asmcomp/dwarf_low/form.mli b/asmcomp/dwarf_low/form.mli index 95958fe..f84ff5c 100644 --- a/asmcomp/dwarf_low/form.mli +++ b/asmcomp/dwarf_low/form.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/location_expression.ml b/asmcomp/dwarf_low/location_expression.ml index 8e7cf9e..967efe3 100644 --- a/asmcomp/dwarf_low/location_expression.ml +++ b/asmcomp/dwarf_low/location_expression.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = Simple_location_expression.t (* will do for the moment *) diff --git a/asmcomp/dwarf_low/location_expression.mli b/asmcomp/dwarf_low/location_expression.mli index 3c479c9..71e6ffa 100644 --- a/asmcomp/dwarf_low/location_expression.mli +++ b/asmcomp/dwarf_low/location_expression.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/location_list.ml b/asmcomp/dwarf_low/location_list.ml index 5c1c0bd..4dbf88c 100644 --- a/asmcomp/dwarf_low/location_list.ml +++ b/asmcomp/dwarf_low/location_list.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = { diff --git a/asmcomp/dwarf_low/location_list.mli b/asmcomp/dwarf_low/location_list.mli index 29aa213..6b88f71 100644 --- a/asmcomp/dwarf_low/location_list.mli +++ b/asmcomp/dwarf_low/location_list.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/location_list_entry.ml b/asmcomp/dwarf_low/location_list_entry.ml index c768d4d..18d02d6 100644 --- a/asmcomp/dwarf_low/location_list_entry.ml +++ b/asmcomp/dwarf_low/location_list_entry.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal module Location_list_entry = struct diff --git a/asmcomp/dwarf_low/location_list_entry.mli b/asmcomp/dwarf_low/location_list_entry.mli index bbc0638..b1c6457 100644 --- a/asmcomp/dwarf_low/location_list_entry.mli +++ b/asmcomp/dwarf_low/location_list_entry.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/operator.ml b/asmcomp/dwarf_low/operator.ml index 0fe9055..c164872 100644 --- a/asmcomp/dwarf_low/operator.ml +++ b/asmcomp/dwarf_low/operator.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = diff --git a/asmcomp/dwarf_low/operator.mli b/asmcomp/dwarf_low/operator.mli index 32a90b3..8c4e644 100644 --- a/asmcomp/dwarf_low/operator.mli +++ b/asmcomp/dwarf_low/operator.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/pubnames_table.ml b/asmcomp/dwarf_low/pubnames_table.ml index e4581f3..40a89fc 100644 --- a/asmcomp/dwarf_low/pubnames_table.ml +++ b/asmcomp/dwarf_low/pubnames_table.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal (* http://llvm.org/docs/SourceLevelDebugging.html claims this table diff --git a/asmcomp/dwarf_low/pubnames_table.mli b/asmcomp/dwarf_low/pubnames_table.mli index c26b4be..4e395ba 100644 --- a/asmcomp/dwarf_low/pubnames_table.mli +++ b/asmcomp/dwarf_low/pubnames_table.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/section_names.ml b/asmcomp/dwarf_low/section_names.ml index ceef88b..f3dcb50 100644 --- a/asmcomp/dwarf_low/section_names.ml +++ b/asmcomp/dwarf_low/section_names.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal let debug_abbrev = ".debug_abbrev" diff --git a/asmcomp/dwarf_low/section_names.mli b/asmcomp/dwarf_low/section_names.mli index 8b00441..54b06a0 100644 --- a/asmcomp/dwarf_low/section_names.mli +++ b/asmcomp/dwarf_low/section_names.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + val debug_abbrev : string val debug_line : string val debug_loc : string diff --git a/asmcomp/dwarf_low/simple_location_expression.ml b/asmcomp/dwarf_low/simple_location_expression.ml index 7aa0103..4c2ffb6 100644 --- a/asmcomp/dwarf_low/simple_location_expression.ml +++ b/asmcomp/dwarf_low/simple_location_expression.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal (* Register name operators only for the moment. There are other diff --git a/asmcomp/dwarf_low/simple_location_expression.mli b/asmcomp/dwarf_low/simple_location_expression.mli index 3c479c9..71e6ffa 100644 --- a/asmcomp/dwarf_low/simple_location_expression.mli +++ b/asmcomp/dwarf_low/simple_location_expression.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/std_internal.ml b/asmcomp/dwarf_low/std_internal.ml index 024a9a4..5500df8 100644 --- a/asmcomp/dwarf_low/std_internal.ml +++ b/asmcomp/dwarf_low/std_internal.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + module List = struct include ListLabels let fold = fold_left diff --git a/asmcomp/dwarf_low/tag.ml b/asmcomp/dwarf_low/tag.ml index a3bd5de..3bf3d8c 100644 --- a/asmcomp/dwarf_low/tag.ml +++ b/asmcomp/dwarf_low/tag.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = diff --git a/asmcomp/dwarf_low/tag.mli b/asmcomp/dwarf_low/tag.mli index aa386a9..a6569f3 100644 --- a/asmcomp/dwarf_low/tag.mli +++ b/asmcomp/dwarf_low/tag.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/value.ml b/asmcomp/dwarf_low/value.ml index 3d60c3e..806f8ea 100644 --- a/asmcomp/dwarf_low/value.ml +++ b/asmcomp/dwarf_low/value.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = diff --git a/asmcomp/dwarf_low/value.mli b/asmcomp/dwarf_low/value.mli index b15aee9..f8fc3d0 100644 --- a/asmcomp/dwarf_low/value.mli +++ b/asmcomp/dwarf_low/value.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t diff --git a/asmcomp/dwarf_low/version.ml b/asmcomp/dwarf_low/version.ml index 31f043e..9177bf0 100644 --- a/asmcomp/dwarf_low/version.ml +++ b/asmcomp/dwarf_low/version.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + open Std_internal type t = diff --git a/asmcomp/dwarf_low/version.mli b/asmcomp/dwarf_low/version.mli index 4d819aa..3d75494 100644 --- a/asmcomp/dwarf_low/version.mli +++ b/asmcomp/dwarf_low/version.mli @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Mark Shinwell, Jane Street Europe *) +(* *) +(* Copyright and licence information to be added. *) +(* *) +(* *) +(* *) +(***********************************************************************) + type t include Emittable.S with type t := t |