Skip to content

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information