[GHC] #7898: Compiler diverges when compiling module BSP of frag-1.1.2

[GHC]

#7898: Compiler diverges when compiling module BSP of frag-1.1.2
-------------------------------+--------------------------------------------
Reporter:  tinctorius          |          Owner:                  
    Type:  bug                 |         Status:  new             
Priority:  normal              |      Component:  Compiler        
 Version:  7.6.3               |       Keywords:                  
      Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple
 Failure:  Compile-time crash  |      Blockedby:                  
Blocking:                      |        Related:                  
-------------------------------+--------------------------------------------

Comment(by amosrobinson):

 This looks somewhat similar to #5550, but is not the same.
 SpecConstr is indeed blowing up massively:
 {{{
 Result size of Simplifier = 291502
 *** SpecConstr:
 Result size of SpecConstr = 3164185
 }}}
 but it does terminate eventually (for me on 7.4.2, at least).

 I have a tentative patch to try removing some SpecConstr blowups (by
 seeding specialisation for top-level bindings similar to what is already
 done for letrecs) but I won't get a chance to try that on this example
 until Monday.

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