Re: [polyml] Poly/ML 5.6.1 Testing and exception_trace

2017-02-10 Thread David Matthews 

On 10/02/2017 12:47, Kostirya wrote:

Hello.
Maybe exception_trace do not work in "Poly/ML 5.6.1 Testing".


No it doesn't.  There are better ways to trace exceptions with the 
debugger or the debugger API.


David

___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

[polyml] Poly/ML 5.6.1 Testing and exception_trace

2017-02-10 Thread Kostirya 
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