David,
Thanks for the info.
... You can use PolyML.exception_trace to produce a trace of exceptions that are not caught. Unlike the debugger this adds almost no overhead at run-time. You can then set explicit breakpoints where the exceptions are raised. I'll think about this but I think there may be problems with the interaction between the debugger and the low-level exception mechanism. ...
Unfortunately PolyML.exception_trace almost never gives me useful results. I think this maybe because I'm nearly always executing code via PolyML.compiler. Does that sound right? And is there a work-around?
Regards,
Rob.