[polyml] Turning off printing of exceptions

Rob Arthan wrote:

I have a recollection that there is a way of stopping Poly/ML printing out the exception value when an excepation is raised but not caught, but I can't find anything in the structure PolyML that looks likely to do this. Am I mistaken or am I overlooking something?

You were probably thinking of PolyML.error_depth. The primary purpose of this is to control how deep to print the context when reporting compiler error messages but it's also used to control how deep to print the arguments of exceptions. In this case, though, I would have thought that you could have arranged to raise an exception such as Fail instead of, presumably, reraising the original exception.

David.