GHC 9.0.2 panics when building Adga 2.6.2.2 on i386 and mipsel
Summary
GHC 9.0.2 panics when building Adga 2.6.2.2 on i386 and mipsel architectures (both 32-bit)
[345 of 401] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist-ghc/build/Agda/TypeChecking/Rules/Term.o, dist-ghc/build/Agda/TypeChecking/Rules/Term.dyn_o )
ghc: panic! (the 'impossible' happened)
(GHC version 9.0.2:
applyTypeToArgs
Expression: lambdaAnnotationCheck13
ds18_s6rOs checkTacticAttribute_s ds20_s6rOu
Type: Addr#
Args: [ds18_s6rOs, checkTacticAttribute_s, ds20_s6rOu]
Args': [ds18_s6rOs, checkTacticAttribute_s, ds20_s6rOu]
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/GHC/Utils/Outputable.hs:1230:37 in ghc:GHC.Utils.Outputable
pprPanic, called at compiler/GHC/Core/Utils.hs:276:17 in ghc:GHC.Core.Utils
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
The full logs are available here: https://buildd.debian.org/status/fetch.php?pkg=agda&arch=i386&ver=2.6.2.2-1&stamp=1659812412&raw=0 https://buildd.debian.org/status/fetch.php?pkg=agda&arch=mipsel&ver=2.6.2.2-1&stamp=1659816519&raw=0
Steps to reproduce
Try to build Agda 2.6.2.2 with GHC 9.0.2.
Expected behavior
Build completes successfully.
Environment
- GHC version used: 9.0.2
Optional:
- Operating System: Debian Unstable
- System Architecture: i386, mipsel