Re: Input only readline port

[Marius Vollmer <mvo at zagadka dot ping dot de>]

Neil Jerram <neil@ossau.uklinux.net> writes:

> I don't see why the readline soft port has to be an input-output
> port, rather than just an input port.  It it doesn't have to be
> input-output, I think it is confusing to make it so; hence we should
> apply the following patch (which I have been running successfully
> with for a few hours).

I can't find any good reason, either, except maybe that people want to
use the object returned by (readline-port) as a port representing the
console and thus doing input and output on it.  But I don't know of
any such use.

So, I'm undecided, which translates to not doing anything about this
issue.

Any other opinions?