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

[GHC]

#10527: Panic Simplifier ticks exhausted with type families
-------------------------------------+-------------------------------------
        Reporter:  sopvop            |                   Owner:  simonpj
            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):

 Simon, I've left a comment on #5113:comment:11 describing a concern I have
 with your patch against `ghc-7.10`. When you get a chance, could you
 briefly explain how argument expressions are supposed to now make it to
 the rebuilder? Currently it appears that we merely perform substitutions
 on them, which means rules won't fire on them.

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