Skip to content
  • Simon Peyton Jones's avatar
    Fix an exponential-blowup case in SpecConstr · 7d7d94fb
    Simon Peyton Jones authored
    Trac #14379 showed a case where use of "forcing" to do
    "damn the torpedos" specialisation without resource limits
    (which 'vector' does a lot) led to exponential blowup.
    
    The fix is easy.  Finding it wasn't.  See Note [Forcing
    specialisation] and the one-line change in decreaseSpecCount.
    7d7d94fb