[MLton] Writing memory to disk ...

[Wesley W. Terpstra]

On May 24, 2006, at 10:06 PM, Henry Cejtin wrote:
> It isn't enough for write_safe to not abort.  You really want to do  
> the unlink
> before the write.  The point is that if you don't, then if I kill  
> the ap via
> control-C while it is doing the slow disk write and read (not  
> unlikely) then
> the disk file is going to be left around.

I already said I agree that this is better on Unix.
However, you can't delete an open file under windows.
If it's special-cased to be different, then fine.