Re: [GHC] #12930: DDEBUG build broken