Re: [GHC] #9370: unfolding info as seen when building a module depends on flags in a previously-compiled module