Re: Adding streams for standard out and standard err

[Paul Eggert]

On 07/21/2016 04:21 PM, Eli Zaretskii wrote:
>   . We already have (append-to-file START END FILENAME), which can be
>     used to write a buffer or a string to a file.  FILENAME can be
>     "/dev/stderr" on Posix platforms, for example, or it can be a real
>     file name.

Wouldn't the proposed primitives often be more efficient than 
append-to-file, since they would use stdio buffering?

Presumably people using the new primitives would know about their 
problems with tty and/or GUI frames, just as they know about the similar 
problems that append-to-file has with /dev/stderr.