kindFunResult panic in the
This code:
f = b (l () )
l :: b a -> c b
l = undefined
b :: (a -> b) -> c
b = undefined
Produces the following panic:
/tmp/Test.hs:4:10:
Couldn't match kind `* -> *' with `*'
Expected type: a0 -> b0
Actual type: a0 -> b0
Kind incompatibility when matching types:
b_k :: * -> *
b0 :: *
In the return type of a call of `l'
In the first argument of `b', namely `(l ())'
/tmp/Test.hs:4:13:ghc: panic! (the 'impossible' happened)
(GHC version 7.7.20120909 for x86_64-unknown-linux):
kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}
I don't think this is the same as #6039 (closed) since that test code produces a parse error when I try to compile it (and it is listed as fixed).