[GHC] #4237: -dcore-lint error after simplifier iteration 1 when profiling

[GHC]

#4237: -dcore-lint error after simplifier iteration 1 when profiling
-------------------------------------------------+--------------------------
    Reporter:  wkahl                             |        Owner:                    
        Type:  bug                               |       Status:  infoneeded        
    Priority:  high                              |    Milestone:  6.14.1            
   Component:  Compiler                          |      Version:  6.12.3            
    Keywords:  profiling, simplifier, core-lint  |     Testcase:                    
   Blockedby:  4172, 4186                        |   Difficulty:                    
          Os:  Linux                             |     Blocking:                    
Architecture:  x86_64 (amd64)                    |      Failure:  Compile-time crash
-------------------------------------------------+--------------------------
Changes (by simonpj):

  * status:  new => infoneeded


Comment:

 I believe that this patch will cure the problem.
 {{{
 Fri Aug 13 17:31:20 BST 2010  simonpj at microsoft.com
   * Modify FloatOut to fix Trac #4237

   The problem was that a strict binding was getting floated
   out into a letrec. This only happened when profiling was
   on.  It exposed a fragility in the floating strategy.  This
   patch makes it more robust.  See
         Note [Avoiding unnecessary floating]
 }}}
 Or, just using the HEAD (after today) should do it.

 Can you try it out?  It'll be in 6.14.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4237#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler