Changes between Initial Version and Version 2 of Ticket #4044


Ignore:
Timestamp:
May 5, 2010 9:18:44 AM (5 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4044 – Description

    initial v2  
    1 In the middle of the work on GHC backend I triggered a bug in GHC. After discussing with simonpj, I have snapshotted the source tree, as I could not reduce the test case.
     1In 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:
     2{{{
     3*** Core Lint Errors: in result of Simplifier mode gentle, iteration 1 out of 4 ***
     4        <no location info>:
     5            In the expression: ic_a1xa @ $co$_a1wz
     6            Kinds don't match in type application:
     7            Type variable: co_wild_B1 :: e_a1tx ~ Compiler.Hoopl.Graph.C
     8            Arg type: $co$_a1wz :: e_a1zK ~ Compiler.Hoopl.Graph.C
     9}}}
     10After discussing with simonpj, I have snapshotted the source tree, as I could not reduce the test case.
    211
    312When 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.
    413
    514The file causing the bug is compiler/cmm/CmmSpillReload.hs. On line 131, there is a description of a change that makes the source compile.
     15