summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2002-11-02 22:36:46 +0000
committerDamien Doligez <damien.doligez-inria.fr>2002-11-02 22:36:46 +0000
commit123fb9f7131bd11d750775a6b1542875149109bc (patch)
tree1642c03144486ec5f1f7a23d892706580ef4bd51 /tools
parent449722dbf5f035b1207f38dd3b6434c1b709e7e6 (diff)
downloadocaml-123fb9f7131bd11d750775a6b1542875149109bc.tar.gz
changement des locations, deuxieme tranche
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rw-r--r--tools/dumpobj.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml
index 5991f4d3b1..9e3b974626 100644
--- a/tools/dumpobj.ml
+++ b/tools/dumpobj.ml
@@ -385,7 +385,9 @@ let op_shapes = [
];;
let print_event ev =
- printf "%s, char %d:\n" ev.ev_module ev.ev_char
+ printf "%s, line %d, char %d:\n" ev.ev_char.Lexing.pos_fname
+ ev.ev_char.Lexing.pos_lnum
+ (ev.ev_char.Lexing.pos_cnum - ev.ev_char.Lexing.pos_bol)
let print_instr ic =
let pos = currpos ic in