open(File, read, input)
cannot succeed because the system
will allocate a new unique stream handle that will never unify with
input
.
open(File, read, input)
cannot succeed because the system
will allocate a new unique stream handle that will never unify with
input
.