Imperative Object Destruction

[Hannah Schroeter]

Hello!

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?

Kind regards,

Hannah.