non coercion variable in coVarKindsTypesRole
It is triggered by T14732... in the profasm
way, and only that one.
$ make fulltest TEST="T14732" THREADS=4
=====> T14732(profasm) 1 of 1 [0, 0, 0]
cd "./typecheck/should_compile/T14732.run" && "/home/alp/WT/ghc-slow-validate/inplace/test spaces/ghc-stage2" -c T14732.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output -fno-warn-incomplete-patterns -O -prof -static -fprof-auto
Compile failed (exit code 1) errors were:
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 8.5.20180511 for x86_64-unknown-linux):
coVarKindsTypesRole, non coercion variable
as_atY
Vector a_a2sO
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/utils/Outputable.hs:1162:37 in ghc:Outputable
pprPanic, called at compiler/types/Coercion.hs:376:16 in ghc:Coercion
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for T14732(profasm)
Trac metadata
Trac field | Value |
---|---|
Version | 8.5 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |