https://bugzilla.redhat.com/show_bug.cgi?id=991929
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |FutureFeature
Version|29 |rawhide
--- Comment #14 from Jens Petersen <petersen(a)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
--
You are receiving this mail because:
You are on the CC list for the bug.