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