[MLton] Writing memory to disk ...

Wesley W. Terpstra wesley@terpstra.ca
Wed, 24 May 2006 22:32:46 +0200


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.