[MLton] MLton HOL

[Stephen Weeks]

> However, it should be easy enough to extend the basis library with a
> function:
> 
> MLton.Exn.setExnMessage :
>   (exn -> string option) -> unit

Great minds!   Do you want to add it or shall I?