Hello. Maybe exception_trace do not work in "Poly/ML 5.6.1 Testing".
> poly Poly/ML 5.6.1 Testing > exception Ex; val () = PolyML.exception_trace (fn () => ( raise Ex; () )); exception Ex Exception- Ex raised > > poly Poly/ML 5.6 Release > exception Ex; val () = PolyML.exception_trace (fn () => ( raise Ex; () )); exception Ex Exception trace for exception - Ex End of trace Exception- Ex raised > _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml