Imperative Object Destruction
Mon, 13 Nov 2000 11:39:48 +0100
On Mon, Nov 13, 2000 at 02:30:17AM -0800, Ashley Yakeley wrote:
> Doesn't fulfill condition 2:
> 2. no read or write operations are performed on file-handles that have
> not yet been opened, or that have already been closed.
> ...since you can do
> stealHandle = withOpenFile "filename" ReadMode (\handle -> handle)
> stealHandle >>= read
And that yields an exception, as the handle is definitely closed.
Is there any *real* problem with this?