Re: [GHC] #7388: CAPI doesn't work with ghci