This commit is contained in:
Simon Cruanes 2023-12-22 21:41:10 -05:00
parent bb520d90b5
commit 14f9a2ea94
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -95,7 +95,7 @@ This more or less corresponds to:
```ocaml ```ocaml
let f x y z = let f x y z =
let _trace_span = Trace_core.enter_span ~__FILE__ ~__LINE__ "Foo.f" in let _trace_span = Trace_core.enter_span ~__FILE__ ~__LINE__ "Foo.f" in
try match
do_sth x; do_sth x;
do_sth y; do_sth y;
begin begin
@ -108,8 +108,11 @@ let f x y z =
Trace_core.exit_span _trace_span Trace_core.exit_span _trace_span
raise e raise e
end; end;
with
| res ->
Trace_core.exit_span _trace_span Trace_core.exit_span _trace_span
with e -> res
| exception e ->
Trace_core.exit_span _trace_span Trace_core.exit_span _trace_span
raise e raise e
``` ```