Hi Norman. I wanted to let you know that the new release of MLton fixes all of the bugs that you found, and includes the #line stuff as well as MLton.Exn.history, which is like SMLofNJ.exnHistory. The only outstanding item on our bug/feature list for you is to implement IntInf.log2. Hopefully that'll make the next release.