diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-05-15 15:07:44 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-05-15 15:07:44 +0000 |
| commit | 6205ef614e06ef54366ec70c6c2f60cd95dedb54 (patch) | |
| tree | c10298053eb0b3641fe73d337ec83d5846a39ec5 /byterun/debugger.c | |
| parent | fa8f7a7f3e23a3fe2e4b7c8ff3979e7d37bfd95c (diff) | |
Nouveau protocole pour GET_FIELD, traite egalement les champs de Double_Array
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/debugger.c')
| -rw-r--r-- | byterun/debugger.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/byterun/debugger.c b/byterun/debugger.c index d8ffc0dd4..bb467e48e 100644 --- a/byterun/debugger.c +++ b/byterun/debugger.c @@ -302,7 +302,13 @@ void debugger(enum event_kind event) case REQ_GET_FIELD: val = getval(dbg_in); i = getword(dbg_in); - putval(dbg_out, Field(val, i)); + if (Tag_val(val) != Double_array_tag) { + putch(dbg_out, 0); + putval(dbg_out, Field(val, i)); + } else { + putch(dbg_out, 1); + really_putblock(dbg_out, (char *) &Double_field(val, i), 8); + } flush(dbg_out); break; case REQ_MARSHAL_OBJ: |