Exception handling 使用SML处理和打印异常

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

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

但是我需要打印通用异常消息（使用

exnMessage

？）

---

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

将异常与名称（而不是

）匹配，并使用
exnMessage
：

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

哇！我发誓我还以为我试过呢。