Re: Input only readline port

[Neil Jerram]

>>>>> "Marius" == Marius Vollmer <address@hidden> writes:

    Marius> Neil Jerram <address@hidden> 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).

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

I don't quite follow your intention here.  What would it mean to
understand (readline-port) as a console port, or to do output to it?

Regards,
        Neil