> Now, as I see that ghci can load and run the code made by -O, > I wonder what the User's Guide means by saying=20 > "-O does not work with GHCi". Maybe ghci -O ? > could be meaningful? "ghci -O" is exactly the combination that doesn't work. Cheers, Simon