#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