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

Reply via email to