Re: readline eats previous text on line

[Neil Jerram]

Jon Wilson <address@hidden> writes:

> Hi Kevin,
>
>>      (readline "foo: ")
>
> This gives an error.

I think what you need is (set-readline-prompt! "foo: ").  The reason
it's done this way, instead of by a parameter to `readline', is that
when readline is activated it applies to the input port as a whole,
such that any attempt to read from the port (which doesn't usually
involve an explicit `readline' call) will use readline.

Regards,
     Neil