如何从`polyc`中获取堆栈跟踪？

Question

我在Mac上使用的是PolyML编译器5.6版本。我正在编译和运行一些引发异常(Fail "undefined")的代码。我期望我编译的应用程序在异常引发时退出，并显示堆栈跟踪；但实际上它是静默退出的。

如何让PolyML显示堆栈跟踪，或者至少在引发异常的地方显示行号？

Answer 1

在调试器下运行应用程序是找出异常发生位置的最佳方法。

如果不能或不想使用调试器，可以通过添加一个处理程序并使用PolyML.Exception.exceptionLocation从异常包中获取位置来获取行号和源文件信息。请参阅http://polyml.org/documentation/Reference/PolyMLException.html

在Poly/ML 5.6中，您还可以使用PolyML.exception_trace来跟踪导致异常的调用，但这可能会在下一个版本中删除。