[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: close queries
To close a synonym stream without closing the underlying stream,
you could reset the mediating symbol to point at a closed stream.
This is less than adequate for the general case, but might suggest
some mechanism that would work generally. (One problem of course
is that you may still want to access the name, etc., of the closed
stream.) I'm inclined to argue that the underlying stream should
not be closed, simply to give the user finer control.