Re: [GHC] #3725: Annotations not written to interface files