[MLton] Bug: -stop o -keep g

[Matthew Fluet]

On Sun, 14 Jun 2009, Wesley W. Terpstra wrote:
> -stop o -keep g will cause every object file output to have the same
> name.

Fixed.

> MLton seems to have had this problem forever.

Hardly.  A simple test with mlton-20070826 shows that it does not have any 
problems with '-stop o -keep g'.  A brief review of the history of 
<src>/mlton/main/main.fun reveals that the naming of the ".o" files was 
changed in r6992 (in an effort to save ".o" files in the same directory as 
the output executable); the quieting of the unused argument (in an fairly 
trivial function) in r6997 should have suggested that the behavior of the 
function had changed in an non-trivial manner.