[GHC] #4462: -dcore-lint error in simplifier phase 0 when profiling

[GHC]

#4462: -dcore-lint error in simplifier phase 0 when profiling
-------------------------------------------------+--------------------------
    Reporter:  wkahl                             |       Owner:                       
        Type:  bug                               |      Status:  infoneeded           
    Priority:  normal                            |   Milestone:  7.4.1                
   Component:  Compiler                          |     Version:  7.0.1 RC1            
    Keywords:  profiling, simplifier, core-lint  |          Os:  Linux                
Architecture:  x86_64 (amd64)                    |     Failure:  Compile-time crash   
  Difficulty:  Unknown                           |    Testcase:  Agda (darcs, current)
   Blockedby:                                    |    Blocking:                       
     Related:                                    |  
-------------------------------------------------+--------------------------
Changes (by simonmar):

  * status:  new => infoneeded
  * difficulty:  => Unknown


Comment:

 Please could you try this with GHC 7.4 - profiling has been overhauled and
 many bugs have been fixed, it's quite likely that it works now.

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