diff options
author | Damien Doligez <damien.doligez-inria.fr> | 1999-11-29 19:04:56 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 1999-11-29 19:04:56 +0000 |
commit | 44c244d3110393a0db0daeb06cc6114dab48073f (patch) | |
tree | e7873f34f2d0292d2b95657805d9f76d030883c8 /tools/dumpobj.ml | |
parent | 7cbb370448df987884d740f49f7e3b86e6914482 (diff) |
tabs -> spaces
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2638 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/dumpobj.ml')
-rw-r--r-- | tools/dumpobj.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml index b306984fd..d74786edf 100644 --- a/tools/dumpobj.ml +++ b/tools/dumpobj.ml @@ -355,7 +355,7 @@ let op_shapes = [ ];; let print_instr ic = - print_int (currpc ic); print_string "\t"; + printf "%8d" (currpc ic); let op = inputu ic in if op >= Array.length names_of_instructions || op < 0 then (print_string "*** unknown opcode : "; print_int op) @@ -381,11 +381,11 @@ let print_instr ic = -> let n = inputu ic in let orig = currpc ic in for i = 0 to (n land 0xFFFF) - 1 do - print_string "\n\tint "; print_int i; print_string " -> "; + print_string "\n int "; print_int i; print_string " -> "; print_int(orig + inputs ic); done; for i = 0 to (n lsr 16) - 1 do - print_string "\n\ttag "; print_int i; print_string " -> "; + print_string "\n tag "; print_int i; print_string " -> "; print_int(orig + inputs ic); done; | Closurerec @@ -413,12 +413,12 @@ let print_code ic len = (* Dump relocation info *) let print_reloc (info, pos) = - printf "\t%d\t(%d)\t" pos (pos/4); + printf " %d (%d) " pos (pos/4); match info with Reloc_literal sc -> print_struct_const sc; printf "\n" - | Reloc_getglobal id -> printf "require\t%s\n" (Ident.name id) - | Reloc_setglobal id -> printf "provide\t%s\n" (Ident.name id) - | Reloc_primitive s -> printf "prim\t%s\n" s + | Reloc_getglobal id -> printf "require %s\n" (Ident.name id) + | Reloc_setglobal id -> printf "provide %s\n" (Ident.name id) + | Reloc_primitive s -> printf "prim %s\n" s (* Print a .zo file *) |