Safe Haskell and Haskell Platform: near-term tactics

[Simon Marlow]

On 16/07/12 18:09, Yitzchak Gale wrote:
> I wrote:
>> I glanced through the packages in the platform
>> not yet done. The only packages where I saw any
>> issues were vector, which is under discussion,
>> and network, where the unsafe interface that
>> pokes into memory already appears to be
>> neatly separated out into Network.Socket.Internal.
>> The network package is also maintained by
>> Johan. Does anyone see anything that I missed?
>
> Oh, Network.Socket also exposes recvBufFrom.
> So either that would have to be moved, or Network.Socket
> would be marked Unsafe.

recvBufFrom :: Socket -> Ptr a -> Int -> IO (Int, SockAddr)

It's in the IO monad, so it's safe.

Cheers,
	Simon