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

Comment(by wkahl):

 I configured Agda with the following command:

 {{{
 ./Setup configure -p --prefix=/usr/local/packages/ghc-7.0.0.20101029
 --ghc-options="-dcore-lint -rtsopts"
 }}}

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