diff options
| author | Mark Shinwell <mshinwell@janestreet.com> | 2012-11-23 14:55:29 +0000 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@janestreet.com> | 2012-11-23 14:55:29 +0000 |
| commit | 6a124349a54f43d5800699408fc8bfd99e6b1e8f (patch) | |
| tree | 8168f8a3d140eb80339e66805fe5018ab72e7174 /asmcomp/dwarf_low | |
| parent | 7c67b08cdb9ad9e139eede3e2101819db0b695d8 (diff) | |
| download | ocaml-dwarf.tar.gz | |
file headersdwarf
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dwarf@13103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/dwarf_low')
49 files changed, 588 insertions, 0 deletions
diff --git a/asmcomp/dwarf_low/abbreviation_code.ml b/asmcomp/dwarf_low/abbreviation_code.ml index 06e78cab52..6550dcdc78 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 f9a69fb16a..decc39a230 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 91f56b4699..0a8f9c335c 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 4327772a7b..ae25cf8fd8 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 3b7ef95c5b..f1b58eacc9 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 d639b959fa..03b9794187 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 5839440772..19f7a35ff1 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 d49e2af6e0..7cc6b6e07e 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 33c4a3e8cb..d90f686806 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 95f3599ffb..dd67a104bd 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 810d9d52b8..a7138ca013 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 2fd7f0643d..710a8fad8e 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 d626f821e9..6f32c35f2b 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 79d276577a..581d583a47 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 edb54d9ceb..146aa223a8 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 528a068282..7947b7032a 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 d1f581ecd2..4f2c498896 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 063b53c0a4..7df20066cf 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 70c9eae504..f2f70332cf 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 ede069f504..49f32f0aff 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 2bb114f35c..5314ec542a 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 e52b1ea83d..0083e4fe04 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 323555f4ea..0f3e73fe0e 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 520fe38a3a..a937f6b81c 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 9c1596aced..588a6803b1 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 66345ac3af..cb7e01ca0f 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 4539a9c208..96ec3f2720 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 95958febd0..f84ff5cb21 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 8e7cf9e94b..967efe3998 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 3c479c976c..71e6ffae0b 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 5c1c0bd622..4dbf88c975 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 29aa213b84..6b88f7129f 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 c768d4dfa2..18d02d6e65 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 bbc06382bd..b1c6457275 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 0fe905538a..c1648721f5 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 32a90b325d..8c4e644140 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 e4581f3883..40a89fc3d8 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 c26b4bea49..4e395ba329 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 ceef88b110..f3dcb505ee 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 8b0044173e..54b06a01d0 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 7aa010398c..4c2ffb6022 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 3c479c976c..71e6ffae0b 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 024a9a4b0a..5500df865d 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 a3bd5de126..3bf3d8cec8 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 aa386a97a1..a6569f36de 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 3d60c3e92b..806f8eafd4 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 b15aee904b..f8fc3d02eb 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 31f043ef45..9177bf063e 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 4d819aa04b..3d75494ece 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 |