type family panic: Coercion.splitCoercionKindOf

[claus]

as seen in #2146#comment:5, 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

[igloo]

Thanks for the report

[chak]

Probably a duplicate of #2432, but I'll leave it open and verify once #2432 has been fixed.

[chak]

Oops - #2432 is this ticket, I mean to write this is a duplicate of #1999.

[chak]

Works with the new solver.