> The attached patch does what you suggested. It has even been > tested. :-) Thanks. I've committed a slight modification of your patch: I want the prompt to be displayed when I do 'ghci -v0' on a terminal. Cheers, Simon