Re: [GHC] #15317: GHCi panic when trying to avoid GHC_OPTIONS -O warning