Unsafe hGetContents

Simon Marlow marlowsd at gmail.com
Mon Oct 12 04:21:43 EDT 2009

On 11/10/2009 09:26, Florian Weimer wrote:
> * 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?

Sure - we hopefully don't consider System.Process to be unsafe.


More information about the Haskell-prime mailing list