[MLton] MLton HOL

Matthew Fluet fluet@cs.cornell.edu
Thu, 1 Jul 2004 11:02:16 -0400 (EDT)


> > 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?

Go ahead.  I don't have a clean checkout lying around anywhere and I'm
afraid I'll accidently check-in the mlb stuff if I fool around with my
current source trees.