[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Proposed change to `make-readline-port'
From: |
Dirk Herrmann |
Subject: |
Re: Proposed change to `make-readline-port' |
Date: |
Sat, 3 Mar 2001 14:33:37 +0100 (MET) |
On 3 Mar 2001, Neil Jerram wrote:
> `make-readline-port' in (ice-9 readline) can be seen as combining two
> pieces of functionality:
>
> (i) constructing a character-based port from a line-based reader that
> reads a whole line at a time
[...]
> The first piece (i) is useful in other, non-Readline scenarios as
> well. In particular, I've been using (i) in work to create an input
> port from a GtkEntry widget.
>
> Therefore I propose to split (i) into a new module, (ice-9
> line-port), whose main export is a procedure called `make-line-port'
> and to modify `make-readline-port' to use `make-line-port'.
Good idea. But, I think a better name could be chosen, like for example
line-buffered-port. Or, maybe something else? Finding good names is
always difficult.
Best regards,
Dirk
- Proposed change to `make-readline-port', Neil Jerram, 2001/03/03
- Re: Proposed change to `make-readline-port',
Dirk Herrmann <=
- Re: Proposed change to `make-readline-port', Neil Jerram, 2001/03/04
- Re: Proposed change to `make-readline-port', Dirk Herrmann, 2001/03/04
- Re: Proposed change to `make-readline-port', Neil Jerram, 2001/03/05
- Re: Proposed change to `make-readline-port', Neil Jerram, 2001/03/05
- Re: Proposed change to `make-readline-port', Dirk Herrmann, 2001/03/05
- Re: Proposed change to `make-readline-port', Dirk Herrmann, 2001/03/05
- Re: Proposed change to `make-readline-port', Neil Jerram, 2001/03/07
- Re: Proposed change to `make-readline-port', Neil Jerram, 2001/03/07
- Re: Proposed change to `make-readline-port', Dirk Herrmann, 2001/03/08
- Re: Proposed change to `make-readline-port', Neil Jerram, 2001/03/09