https://bugzilla.redhat.com/show_bug.cgi?id=991929
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Keywords| |FutureFeature Version|29 |rawhide
--- Comment #14 from Jens Petersen petersen@redhat.com --- ghc-8.6.5 panics:
[157 of 357] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist/build/Agda/TypeChecking/Monad/Base.o ) BUILDSTDERR: ghc: panic! (the 'impossible' happened) BUILDSTDERR: (GHC version 8.6.5 for arm-unknown-linux): BUILDSTDERR: piResultTys1 BUILDSTDERR: TyCon BUILDSTDERR: [ProblemId] 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/types/Type.hs:1022:5 in ghc:Type BUILDSTDERR: Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Reported at https://gitlab.haskell.org/ghc/ghc/issues/17175
haskell-devel@lists.fedoraproject.org