Re: procedure Make_File_Gone (Name : in String);

[tmoran@acm.org]

> I'm of course partial to Purge for this use. :-)

Another verb.  Both the phrase Delete_File and the word Purge say "go
do something" and they leave unclear what to do if you can't do the
action. I'd like to concisely make clear the post condition I'm trying
to achieve - in this case, the absence of a file of the given name.
Ideally this should be clear from the procedure name without having
to look in the ARM or depend on a comment of uncertain modernity.

And yes, there could be a race where someone created a new file of that
name immediately afterward, but avoiding such races is part of the
higher level design.