> > OK. Let's stick with times. But it will be (yet another) part of the basis > > library that we avoid, i.e., times isn't used anymore in MLton, right? > > Correct. Meant to mention that the update is at http://www.cs.cornell.edu/People/fluet/MLton/src.tgz