Ketil Malde wrote:

"A.J. Bonnema" <abonnema@xs4all.nl> writes: <snip>

...

Sorry, I missed that suggestion. I just looked into kdevelop, and I couldn't find any buffering option. Also, ghc -help shows no buffering options (there is no man page for ghc).

Do you know how to set buffering explicitely?

I'll attach the message:

<snip>

The fix for now is for you to explicitly turn off buffering:

import IO

main = do hSetBuffering stdin LineBuffering hSetBuffering stdout NoBuffering hSetBuffering stderr NoBuffering ...

(warning: untested code)

Ok, I must apologize: I saw the message, but I really didn't understand it. Thanks (again). Guus. -- A.J. Bonnema, Leiden The Netherlands, user #328198 (Linux Counter http://counter.li.org)