10 Jun
2003
10 Jun
'03
5:38 p.m.
On Tue, 10 Jun 2003, Simon Marlow wrote:
Does anyone else think that foreignPtrToPtr should really be called unsafeForeignPtrToPtr?
I was actually advocating that it be disposed of, but thought that would be too forward of me. What use is it without touchForeignPtr, and if the latter depends on strictness anyway, how many uses of it are safe and aren't captured by withForeignPtr? cheers peter