I am on 10.11 and almost git head. I cannot repeat your experiment. Is the following accurate?
% cat /tmp/foo.txt hello world good bye % racket Welcome to Racket v6.7.0.3. > (define p "/tmp/foo.txt") > (file-exists? p) #t > (delete-file p) > (file-exists? p) #f > On Nov 5, 2016, at 6:05 PM, David Storrs <[email protected]> wrote: > > I've got this little snip of code: > > > (define p "/tmp/foo/bar-28") > (file-exists? p) ; #t > (delete-file p) > (file-exists? p) ; still #t ?? > > > I've verified that: > > *) It's not throwing an exception > *) The code is running as me > *) The /tmp directory is 777 [I'm on OSX 10.11] > *) The file itself is 666, although that shouldn't matter > *) The file is owned by me > *) p is a string > *) p points to the correct file > *) There are no leading or trailing whitespace characters > *) If I run this code from inside a command-line Racket REPL, it works fine > and the file is deleted > *) If I replace (delete-file) with (system @~a{rm -f @p}) it works fine > > I thought maybe there was something weird about the /tmp directory, so I > tried putting the target in a different directory > (/Users/dstorrs/tmp/foo/bar-28) but that made no difference. > > I've tried googling on the general net and in the mailing list archives and > found nothing. I am utterly flummoxed here; can anyone suggest anything? > > > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
