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?
Not sure about the Poly/ML stuff, but couldn't you wrap your code in
handle _ => OS.Process.exit OS.Process.success