Default output in gxi -e is not flushed

[leahneukirchen]

Print one line:

% gxi -e '(displayln "foo")' | wc -l
0

Explicit flushing helps:

% gxi -e '(displayln "foo")' -e '(flush-output-port)' | wc -l
1

I think the Gerbil runtime should flush (all?) ports on exit.

[vyzo]

yes, and the executables should too.

[fare]

So (1) fix things with an unwind-protect in src/gerbil/main.ss#main, but I'm not sure what is step (2).

[vyzo]

I think we also need to do it in the executable main we generate in the compiler, it is called gerbil-main and it happens in the driver.

[fare]

Stupid question: (force-output (current-output-port)) before or after (force-output (current-error-port)) ? And withinwith-catch void each, innit?

[vyzo]

output before error seems more reasonable.

with-catch might be unnessary for the flush, but cant hurt.