[MLton] cvs commit: replaced type system in Rssa and Machine

[Matthew Fluet]

> > I believe that this change broke /doc/examples/ffi.
>
> Thanks for pointing that out.  I just checked in a fix.

Great.  I had been looking at it to make sure that I got all of the
atomicBegin/End-s right for exported ML functions.  But, since your
check-in didn't need to touch anything in the runtime or basis-library, I
assume that everything is working without problems.