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