Fix ghc-in-ghci

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