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?
Absolutely.
What about handles from System.Process? Do they count as well?
Sure - we hopefully don't consider System.Process to be unsafe.
Cheers,
Simon
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime