diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-06 22:12:09 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-06 22:12:09 +0000 |
| commit | b96208b7a247cbb6d9d162fbfaf54448af33589c (patch) | |
| tree | a63fb52f6e36ca47129637586cf6d0fd3d576733 /debugger/debugcom.ml | |
| parent | a56ae9a35f7cb4b5ccd128c2b9610b4913d71331 (diff) | |
Revu les impressions du compilateur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/debugcom.ml')
| -rw-r--r-- | debugger/debugcom.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/debugger/debugcom.ml b/debugger/debugcom.ml index 79b8fcfd8..3c56fd80a 100644 --- a/debugger/debugcom.ml +++ b/debugger/debugcom.ml @@ -171,7 +171,7 @@ module Remote_value = type t = Remote of string | Local of Obj.t let obj = function - Local obj -> Obj.obj obj + | Local obj -> Obj.obj obj | Remote v -> output_char !conn.io_out 'M'; output_remote_value !conn.io_out v; @@ -182,11 +182,11 @@ module Remote_value = raise Marshalling_error let is_block = function - Local obj -> Obj.is_block obj + | Local obj -> Obj.is_block obj | Remote v -> Obj.is_block (Array.unsafe_get (Obj.magic v : Obj.t array) 0) let tag = function - Local obj -> Obj.tag obj + | Local obj -> Obj.tag obj | Remote v -> output_char !conn.io_out 'H'; output_remote_value !conn.io_out v; @@ -195,7 +195,7 @@ module Remote_value = header land 0xFF let size = function - Local obj -> Obj.size obj + | Local obj -> Obj.size obj | Remote v -> output_char !conn.io_out 'H'; output_remote_value !conn.io_out v; @@ -205,7 +205,7 @@ module Remote_value = let field v n = match v with - Local obj -> Local(Obj.field obj n) + | Local obj -> Local(Obj.field obj n) | Remote v -> output_char !conn.io_out 'F'; output_remote_value !conn.io_out v; @@ -248,7 +248,7 @@ module Remote_value = Remote(input_remote_value !conn.io_in) let closure_code = function - Local obj -> assert false + | Local obj -> assert false | Remote v -> output_char !conn.io_out 'C'; output_remote_value !conn.io_out v; |