summaryrefslogtreecommitdiffstats
path: root/tools/dumpobj.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>1999-11-29 19:04:56 +0000
committerDamien Doligez <damien.doligez-inria.fr>1999-11-29 19:04:56 +0000
commit44c244d3110393a0db0daeb06cc6114dab48073f (patch)
treee7873f34f2d0292d2b95657805d9f76d030883c8 /tools/dumpobj.ml
parent7cbb370448df987884d740f49f7e3b86e6914482 (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.ml14
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 *)