[plt-dev] is there some reason that port->lines et al. don't close input port?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Mon May 24 16:11:22 EDT 2010

At Mon, 24 May 2010 11:12:56 -0700, John Clements wrote:
> Is there a good reason why port->lines doesn't close the input port?

An eof-of-file doesn't necessarily mean an end-of-stream, and error
handling usually requires extra effort to close a port, which is why we
usually use functions like `with-input-form-file'. Probably, though,
it's mostly that port-reading functions don't normally close the port.

> Perhaps there 
> could be an optional argument that allowed this behavior?

An optional keyword argument seems ok to me.

Posted on the dev mailing list.