panic: Kinds don't match in type application

[daniel.is.fischer]

In the test CoTest3(normal) from the testsuite, I get

Compile failed (status 256) errors were:
*** Core Lint Errors: in result of Simplifier mode 0 [final], iteration 1 out of 4 ***
<no location info>:
    In the expression: (a_sfH
                        `cast` ((trans
                                   (trans
                                      s1_aeP
         <awfully long expression goes on and on>
                              GHC.Types.Int)
    Kinds don't match in type application:
    Type variable:
        co_wild_Xe :: trans
                        (trans
                           s1_aeP
             <awfully long type expression continues>
                        s2_aeQ
                        ~
                      GHC.Types.Int
    Arg type:ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 6.12.1 for i386-unknown-linux):
	No match in record selector tyConKind

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

It seems to be the same expression as in  http://darcs.haskell.org/buildbot/all/builders/x86%20Windows%20stable%20fast/builds/4253/steps/runtestsuite/logs/unexpected

[simonpj]

Good point. This is a test I added when stressing the HEAD harder with type equality coercions. I'm not precisely sure which patches are involved, and I propose not to fix it on the branch. (If it starts cropping up for real in the branch we can address it.)

Ian: maybe turn this test into expect-fail for 6.12.

Simon

[igloo]

This was fixed by

Sun Nov 22 16:19:44 GMT 2009  Ian Lynagh <igloo@earth.li>
  * Tweak testsuite results for 6.12 branch

That link is to the 21 Nov build, which is why it also has the unexpected failure.

I'm closing this ticket on the assumption that Daniel is using an old copy of the testsuite; please re-open if that's not the case.

[daniel.is.fischer]

I was using the testsuite-6.12.1.tar.bz2 linked from the GHC download page directly below the source distribution on Monday (14. Dec). If that was an old version and now the new testsuite is linked from there, re-close the ticket. The link was what google turned up searching for "match+selector+tyConKind" to avoid a duplicate ticket.

[igloo]

Hmm, that's odd. That definitely has

test('CoTest3', if_compiler_lt('ghc', '6.13', expect_fail), compile, [''])

in testsuite/tests/ghc-regress/indexed-types/should_compile/all.T. Just to check, CoTest3 is listed in the "Unexpected failures" at the end of the testsuite output, and the test is running the right compiler, right?

[daniel.is.fischer]

Ah, no, it wasn't listed as an unexpected failure. I was reacting to the "Please report this as a GHC bug" message. Sorry for the confusion.