https://bugzilla.redhat.com/show_bug.cgi?id=991929
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Version|28 |29
--- Comment #13 from Jens Petersen <petersen(a)redhat.com> ---
[193 of 325] Compiling Agda.TypeChecking.Monad.Signature (
src/full/Agda/TypeChecking/Monad/Signature.hs,
dist/build/Agda/TypeChecking/Monad/Signature.o )
ghc: panic! (the 'impossible' happened)
(GHC version 8.2.2 for arm-unknown-linux):
piResultTy
Impossible
Name
Call stack:
CallStack (from HasCallStack):
prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58
in ghc:Outputable
callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in
ghc:Outputable
pprPanic, called at compiler/types/Type.hs:949:35 in ghc:Type
Please report this as a GHC bug:
http://www.haskell.org/ghc/reportabug
--
You are receiving this mail because:
You are on the CC list for the bug.