diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-14 20:58:43 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-14 20:58:43 +0100 |
commit | 54effdc2bae11f441a34465754e9e43c44b41df9 (patch) | |
tree | 546e86db82daddc56bb96b3e10437ad5646a1fd0 /debug/DebugTypes.mli | |
parent | ca055fc22c3b9d0ac6bbd394562933aa3e044c95 (diff) | |
download | compcert-54effdc2bae11f441a34465754e9e43c44b41df9.tar.gz compcert-54effdc2bae11f441a34465754e9e43c44b41df9.zip |
More unique debug types.
The typdef, enumerator and function_type types form the DebugTypes and
DwarfTypes shared a some fields. This commits renames them in order to
make them more unique and avoid potential name clashes.
Diffstat (limited to 'debug/DebugTypes.mli')
-rw-r--r-- | debug/DebugTypes.mli | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/debug/DebugTypes.mli b/debug/DebugTypes.mli index e885fc59..53a39665 100644 --- a/debug/DebugTypes.mli +++ b/debug/DebugTypes.mli @@ -54,14 +54,14 @@ type array_type = { } type typedef = { - typedef_file_loc: location option; - typedef_name: string; - typ: int option; + td_file_loc: location option; + td_name: string; + typ: int option; } type enumerator = { - enumerator_name: string; - enumerator_const: int64; + e_name: string; + e_const: int64; } type enum_type = { @@ -85,9 +85,9 @@ type parameter_type = { } type function_type = { - fun_return_type: int option; - fun_prototyped: bool; - fun_params: parameter_type list; + fun_type_return_type: int option; + fun_type_prototyped: bool; + fun_type_params: parameter_type list; } type debug_types = |