[MLton] Writing memory to disk ...

Wesley W. Terpstra wesley@terpstra.ca
Wed, 24 May 2006 20:47:59 +0200


On May 24, 2006, at 8:17 PM, Henry Cejtin wrote:
> Does MLton do the create/unlink before writing?  If so then the  
> window for
> leaving the file around is pretty small.  (The point being both  
> security
> and cleanliness.)

I doubt this would work on windows ...
For Unix, however, I agree this is the better solution.