Ticket #4044 (closed bug: worksforme)
Compilation of my ghc tree with ghc-6.12.2 -dcore-lint fails.
|Reported by:||milan||Owned by:|
|Operating System:||Linux||Architecture:||x86_64 (amd64)|
|Type of failure:||GHC rejects valid program||Difficulty:|
|Test Case:||Blocked By:|
Description (last modified by simonpj) (diff)
In the middle of the work on GHC backend I triggered a bug in GHC 6.12.2. When using 6.12.2 to compile compiler/cmm/CmmSpillReload.hs we get:
*** Core Lint Errors: in result of Simplifier mode gentle, iteration 1 out of 4 *** <no location info>: In the expression: ic_a1xa @ $co$_a1wz Kinds don't match in type application: Type variable: co_wild_B1 :: e_a1tx ~ Compiler.Hoopl.Graph.C Arg type: $co$_a1wz :: e_a1zK ~ Compiler.Hoopl.Graph.C
After discussing with simonpj, I have snapshotted the source tree, as I could not reduce the test case.
When compiling with ghc-6.12.2 -dcore-lint, the compilation fails in the stage 1. It is enough to invoke 'make' in the tree to get to the compilation error. I attach the dump of -dcore-lint output.
The file causing the bug is compiler/cmm/CmmSpillReload.hs. On line 131, there is a description of a change that makes the source compile.