Re: [GHC] #7844: Panic messages raised from GHCi don't include details