> I think runghc is acting like GHCi, and trying to read the file > $HOME/.ghci on startup. Thanks, that may well be the case. Too bad you can't tell it not to, see my other post about runghc and flags. :-( /Niklas