Re: [GHC] #9887: No message when GHCi reusing compiled code (was: No message when GCHI reusing compiled code)