10 Feb
2017
10 Feb
'17
12:47 p.m.
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