Handling and printing exceptions with SML

Question

I have a code that looks quite like:

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

But I need to print the generic exception message (with exnMessage?).

How do I catch the _ exception in order to get and print its message?

score 3 · Accepted Answer · answered Oct 08 '18 at 14:42

3

Match the exception with a name instead of _ and use exnMessage:

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

answered Oct 08 '18 at 14:42

molbdnilo

64,751
3
43
82

Wow! I swear I thought I tried that yet. It works, thanks! – Arĥimedeς ℳontegasppα ℭacilhας Oct 08 '18 at 16:19

Handling and printing exceptions with SML

1 Answers1