type family panic: Coercion.splitCoercionKindOf
as seen in #2146 (closed)##2432 (closed), confirmed with GHCi, version 6.9.20080709
{-# LANGUAGE TypeFamilies #-}
type family F a :: * -> *
foo3 :: (F Int ~ fi, F Bool ~ fb, fi a ~ fb a) => a
foo3 = undefined
ghc.exe: panic! (the 'impossible' happened)
(GHC version 6.9.20080709 for i386-unknown-mingw32):
Coercion.splitCoercionKindOf
ghc-prim:GHC.Prim.left{(w) tc 34B} $co${tc a7j} [tv]
<pred>fi{tv a6W} [sk] ~ fb{tv a6X} [sk]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Trac metadata
Trac field | Value |
---|---|
Version | 6.9 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | Unknown |
Architecture | Unknown |