ghc panic on ppc64le, ghc 8.0.1, agda 2.5.1.1 patched for newer EdisonAPI
[331 of 332] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, dist-ghc/build/Agda/Interaction/EmacsTop.o )
ghc: panic! (the 'impossible' happened)
(GHC version 8.0.1 for powerpc64le-unknown-linux):
applyTypeToArgs
Expression: $w$cgmapQl2 stdin LineBuffering s_aJ4
Type: forall r_a2gyr r'_a2gys.
(r_a2gyr -> r'_a2gys -> r_a2gyr)
-> r_a2gyr
-> (forall d_a2gyt. Data d_a2gyt => d_a2gyt -> r'_a2gys)
-> [ModulePragma]
-> ModuleName
-> r_a2gyr
Args: [stdin, LineBuffering, s_aJ4]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Trac metadata
Trac field |
Value |
Version |
8.0.1 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
Unresolved |
Component |
Compiler |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|
Edited by Sergei Trofimovich