BUG: Console writer flush

[Lee Salzman]

Actually, neither your fix or my fix were correct. The actual solution
was to make WrapperStream forward "resource" to the underlying stream.
Since Console writer was a PrettyPrinter, and "resource" wasn't
forwarded to the underlying ExternalResource Stream, it was causing
problems. It's fixed now.

On Sun, Oct 03, 2004 at 09:47:54PM +0200, Waldemar Kornewald wrote:
> Lee Salzman wrote:
> >Committed.
> 
> Sorry to bother you again, but my patch is meant is it is, though it 
> looks confusing. flushOutput is only defined for Console, not for 
> Console writer. As REPL uses Console writer there must be a wrapper.
> A better solution would probably be to change flushOutput in prims.slate to
> c@(Console writer) flush
> and remove the definition from external.slate. Why is it needed in 
> external.slate anyway?
> 
> Bye,
> Waldemar Kornewald
>