diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-11-29 18:36:42 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-11-29 18:36:42 +0000 |
| commit | 3b92524aa90a61796e8822eb961452ca8368acdc (patch) | |
| tree | 7b226c556ab1a9d7c542788dba6dc68ef0cbb978 /bytecomp/instruct.ml | |
| parent | 9f2a2427f8187c093657887dc1dde1fcfc70963e (diff) | |
Ajout du support pour le debugger
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/instruct.ml')
| -rw-r--r-- | bytecomp/instruct.ml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/bytecomp/instruct.ml b/bytecomp/instruct.ml index f3d7c9e7a..d86157ba3 100644 --- a/bytecomp/instruct.ml +++ b/bytecomp/instruct.ml @@ -13,6 +13,23 @@ open Lambda +type compilation_env = + { ce_stack: int Ident.tbl; + ce_heap: int Ident.tbl } + +type debug_event = + { mutable ev_pos: int; (* Position in bytecode *) + ev_file: string; (* Source file name *) + ev_char: int; (* Location in source file *) + ev_kind: debug_event_kind; (* Before/after event *) + ev_typenv: Env.summary; (* Typing environment *) + ev_compenv: compilation_env; (* Compilation environment *) + ev_stacksize: int } (* Size of stack frame *) + +and debug_event_kind = + Event_before + | Event_after of Types.type_expr + type label = int (* Symbolic code labels *) type instruction = @@ -61,6 +78,7 @@ type instruction = | Koffsetint of int | Koffsetref of int | Kgetmethod + | Kevent of debug_event | Kstop let immed_min = -0x40000000 |