diff options
author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-27 21:09:07 +0000 |
---|---|---|
committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-27 21:09:07 +0000 |
commit | e9887862d42e26aca834b41c052608e30012ca27 (patch) | |
tree | f5fb0566ed299e805c0280298e878094694afc00 | |
parent | 7affc5b7ed17a03b53438b0551ef060f0dc86c74 (diff) | |
download | ocaml-e9887862d42e26aca834b41c052608e30012ca27.tar.gz |
update_current_event fonctionne correctement meme ailleurs que sur un
evenement.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | debugger/events.ml | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/debugger/events.ml b/debugger/events.ml index ab0055b9e4..1705a65e04 100644 --- a/debugger/events.ml +++ b/debugger/events.ml @@ -35,11 +35,15 @@ let update_current_event () = None -> current_event := None; old_pc := None - | (Some pc) as opt_pc -> - if opt_pc <> !old_pc then begin - current_event := Some (Symbols.event_at_pc pc); - old_pc := opt_pc - end + | (Some pc) as opt_pc when opt_pc <> !old_pc -> + current_event := begin try + Some (Symbols.event_at_pc pc) + with Not_found -> + None + end; + old_pc := opt_pc + | _ -> + () (* Current position in source. *) (* Raise `Not_found' if not on an event (beginning or end of program). *) |