Re: [GHC] #16167: -ddump-json output empty with runghc