> > I can't reproduce any failure with my sources. > > OK. I put src/mlton as I have it after your changes at > > http://www.star-lab.com/sweeks/mlton.tgz > > See if you can regenerate the error with that. No luck. The sources from that snapshot and my sources are identical. I've tried with both SML/NJ 110.9.1 and SML/NJ 110.35, but everything works out. Just to be sure, 15.sml (in my sources) is an empty file.