[racket-dev] [plt] Push #22405: master branch updated

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Apr 15 08:49:39 EDT 2011

At Fri, 15 Apr 2011 02:37:19 -0400, Eli Barzilay wrote:
> More than a week ago, ryanc at racket-lang.org wrote:
> > a19a034 Ryan Culpepper <ryanc at racket-lang.org> 2011-04-04 15:14
> > :
> > | added ffi/unsafe/security
> > :
> >   A collects/ffi/unsafe/security.rkt
> `ffi/unsafe' should be for things that are not safe, so it looks like
> this should be elsewhere.

I agree, and `ffi/security' or `ffi/file' seems like the right library

> (And looking at the functionality, it looks
> like it's better to get rid of the ffi types which are easily done
> with `security-guard-check-file', and move it to a different
> collection -- maybe `racket/path'?)

I don't agree. Calling `security-guard-check-file' shouldn't be
necessary in code that doesn't use the FFI, because suitable security
checks should be built into a safe operation. And the `_file/guard',
`_file/r', and `_file/rw' derived FFI types seem clearly useful.

Posted on the dev mailing list.