diff options
Diffstat (limited to 'tools/dumpobj.ml')
| -rw-r--r-- | tools/dumpobj.ml | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml index 7414bdeb7..5a6fa6d4e 100644 --- a/tools/dumpobj.ml +++ b/tools/dumpobj.ml @@ -80,16 +80,14 @@ let print_float f = ;; let rec print_struct_const = function - Const_base(Const_int i) -> - printf "%d" i - | Const_base(Const_float f) -> - print_float f - | Const_base(Const_string s) -> - printf "%S" s - | Const_base(Const_char c) -> - printf "%C" c - | Const_pointer n -> - printf "%da" n + Const_base(Const_int i) -> printf "%d" i + | Const_base(Const_float f) -> print_float f + | Const_base(Const_string s) -> printf "%S" s + | Const_base(Const_char c) -> printf "%C" c + | Const_base(Const_int32 i) -> printf "%ldl" i + | Const_base(Const_nativeint i) -> printf "%ndn" i + | Const_base(Const_int64 i) -> printf "%LdL" i + | Const_pointer n -> printf "%da" n | Const_block(tag, args) -> printf "<%d>" tag; begin match args with |