Here is another backtrace patch that gives backtraces in the top level andfor dynamically-loaded code.
http://skydeck.com/blog/programming/more-stack-traces-in-ocaml/
Your feedback is welcome. Thanks,
Jake