build of Agda-18.104.22.168 on i686 ghc-8.6.5 panics
I got a panic for ghc-8.6.5 when trying to build Agda-22.214.171.124 for Fedora i686.
BUILDSTDERR: [352 of 357] Compiling Agda.Interaction.AgdaTop ( src/full/Agda/Interaction/AgdaTop.hs, dist/build/Agda/Interaction/Agghc: panic! (the 'impossible' happened) BUILDSTDERR: (GHC version 8.6.5 for i386-unknown-linux): BUILDSTDERR: tyThingTyCon BUILDSTDERR: Identifier ‘$fShowNumber_$cshowList’ BUILDSTDERR: Call stack: BUILDSTDERR: CallStack (from HasCallStack): BUILDSTDERR: callStackDoc, called at compiler/utils/Outputable.hs:1160:37 in ghc:Outputable BUILDSTDERR: pprPanic, called at compiler/main/HscTypes.hs:2165:28 in ghc:HscTypes BUILDSTDERR: Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
- GHC version used: 8.6.5
- Operating System: Fedora 31
- System Architecture: i686