[GHC] #10527: Panic Simplifier ticks exhausted with type families

GHC ghc-devs at haskell.org
Thu Jun 25 22:45:23 UTC 2015


#10527: Panic Simplifier ticks exhausted with type families
-------------------------------------+-------------------------------------
        Reporter:  sopvop            |                   Owner:  bgamari
            Type:  bug               |                  Status:  new
        Priority:  highest           |               Milestone:  7.10.2
       Component:  Compiler          |                 Version:  7.10.1-rc1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by bgamari):

 Well, I quickly bisected get an idea of what I should be looking for. It
 seems like the regression was introduced by the fix for the huge space
 leak in the mighty simplifier (8af219adb914b292d0f8c737fe0a1e3f7fb19cf3).
 If I understand correctly this patch touched code surrounding the
 treatment of interesting arguments. Perhaps an inadvertent change here is
 now resulting in more inlining than we would like. I'll have another look
 after I've slept on it to see if this revelation gets us any closer to a
 fix.

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


More information about the ghc-tickets mailing list