Обработка и печать исключений с 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