Fix ghc-in-ghci

Authored by bgamari on Tue, Jun 4, 5:59 PM.