[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
-------------------------------------------------+--------------------------

Comment(by wkahl):

 Since I do not know enough darcs to be able to easily turn that
 information into a patch that could be applied to a GHC-6.12.3 source
 distribution, I tried HEAD, blindly bumped quite a few upper bounds in
 Cabal dependency declarations in Agda and in intermediate packages, and
 used more recent versions of some of the intermediate packages. (In
 {{{mtl}}}, I also had to comment some {{{MonadError}}}-related instances.)
 For Agda, I still have exactly the same source as with the original report
 --- it now compiles without core-lint error.

 Wolfram

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