diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-18 18:36:09 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-18 18:36:09 +0100 |
commit | f750e0ac9ee99072cca8361f591015f1f82681fa (patch) | |
tree | 52f702c00806e01e3ea675d880c08fcb3b9322c1 /debug/DwarfUtil.ml | |
parent | 89e7840807d9b39636ed84c43ec21485ea776cf9 (diff) | |
download | compcert-f750e0ac9ee99072cca8361f591015f1f82681fa.tar.gz compcert-f750e0ac9ee99072cca8361f591015f1f82681fa.zip |
Added function to convert C types into their dwarf represnation.
Diffstat (limited to 'debug/DwarfUtil.ml')
-rw-r--r-- | debug/DwarfUtil.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/debug/DwarfUtil.ml b/debug/DwarfUtil.ml index 764194a6..91ef94a8 100644 --- a/debug/DwarfUtil.ml +++ b/debug/DwarfUtil.ml @@ -33,10 +33,15 @@ let new_entry tag = } (* Add an entry as child to another entry *) -let add_children entry child = +let add_child entry child = {entry with children = child::entry.children;} +(* Add entries as children to another entry *) +let add_children entry children = + {entry with children = entry.children@children;} + + let list_iter_with_next f list = let rec aux = (function | [] -> () |