[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:  7.0.2                
   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):

 I'm not sure how to progress this.

 Agda itself is written in Haskell and should run flawlessly.

 I believe that what Agda ''does'' is to translate Agda programs into
 Haskell programs that are littered with `unsafeCoerce` and use GHC to
 compile those. GHC wasn't intended for tha, so it wouldn't be suprising if
 something goes wrong.

 Finally, profiling is somehow implicated with your Lint error.

 I'm inlined to suggest that you get help from the Agda folk to help narrow
 down where the problem is.  I really don't know where to start.

 Simon

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