BUG: Console writer flush

[Waldemar Kornewald]

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