[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:  new                  
    Priority:  normal                            |    Milestone:                       
   Component:  Compiler                          |      Version:  7.0.1 RC1            
    Keywords:  profiling, simplifier, core-lint  |     Testcase:  Agda (darcs, current)
   Blockedby:                                    |   Difficulty:                       
          Os:  Linux                             |     Blocking:                       
Architecture:  x86_64 (amd64)                    |      Failure:  Compile-time crash   
-------------------------------------------------+--------------------------

Comment(by simonpj):

 Of course this should not happen.  Does it happen when you are not
 profiling?

 I believe it'll run ok if you switch off Core Lint.  Does it?

 Looks like there a bit of a setup cost to reproducing this...

 Simon

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