build of Agda-2.6.0.1 on i686 ghc-8.6.5 panics
Summary
I got a panic for ghc-8.6.5 when trying to build Agda-2.6.0.1 for Fedora i686.
Result
https://koji.fedoraproject.org/koji/taskinfo?taskID=36822771
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
Environment
- GHC version used: 8.6.5
Optional:
- Operating System: Fedora 31
- System Architecture: i686