This is accomplished by having an OCaml compiler patch that tracks where
it emits pushtrap, poptrap, and entertrap directives. We can then walk
them as we execute the program to figure out the state of the OCaml
exception stack.
The old stacktrace-based approach is maintained for binaries that are
compiled without this section.
This is accomplished by having an OCaml compiler patch that tracks where it emits pushtrap, poptrap, and entertrap directives. We can then walk them as we execute the program to figure out the state of the OCaml exception stack.
The old stacktrace-based approach is maintained for binaries that are compiled without this section.