diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-29 18:08:23 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-29 18:08:23 +0100 |
| commit | a03f2e55773b7db0c548aa8932b06f52ebe348c3 (patch) | |
| tree | ff0c3cc43043e2823a24eb5d1fde2308f9888b2f /debug | |
| parent | ddbfd93736af813807b131deea229597f30a8463 (diff) | |
| download | compcert-a03f2e55773b7db0c548aa8932b06f52ebe348c3.tar.gz compcert-a03f2e55773b7db0c548aa8932b06f52ebe348c3.zip | |
Started implementing functions to compute the abbreviations for the diab compiler.
Diffstat (limited to 'debug')
| -rw-r--r-- | debug/DwarfTypes.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml index 70d31ef8..65e819de 100644 --- a/debug/DwarfTypes.ml +++ b/debug/DwarfTypes.ml @@ -78,16 +78,16 @@ type bound_value = type dw_tag_array_type = { - dw_at_decl_file: constant option; - dw_at_decl_line: constant option; - dw_at_type: reference; + array_type_file: constant option; + array_type_line: constant option; + array_type: reference; } type dw_tag_base_type = { - dw_at_byte_size: constant; - dw_at_encoding: encoding; - dw_at_name: string; + base_type_size: constant; + base_type_encoding: encoding; + base_type_name: string; } type dw_tag_compile_unit = |