exception-handling - 使用 SML 处理和打印异常

Question

我有一个看起来很像的代码：

ignore
  (f ())
  handle
    AssertionError msg         => (print ("assertion error: " ^ msg ^ "\n"); ())
    | _ (* other exceptions *) => (print ("exception raised\n"); ())

但我需要打印通用异常消息（带exnMessage？）。

如何捕获_异常以获取并打印其消息？

Answer 1

将异常与名称匹配，而不是_使用exnMessage：

- (hd ([]: string list)) handle e => exnMessage e;
val it = "Empty" : string