Unsafe hGetContents

Florian Weimer fw at deneb.enyo.de
Sun Oct 11 04:26:10 EDT 2009


* Simon Marlow:

>> Oleg's example is quite close, don't you think?
>>
>> URL: http://www.haskell.org/pipermail/haskell/2009-March/021064.html
>
> Ah yes, if you have two lazy input streams both referring to the same
> underlying stream, that is enough to demonstrate a problem.  As for
> whether Oleg's example is within the rules, it depends whether you
> consider fdToHandle as "unsafe":

Is relying on seq to show the difference allowed, according to your
rules on an insecurity proof?

What about handles from System.Process?  Do they count as well?


More information about the Haskell-prime mailing list