[GHC] #10657: Regression T2497 WAY=optasm: Simplifier ticks exhausted

[GHC]

#10657: Regression T2497 WAY=optasm: Simplifier ticks exhausted
-------------------------------------+-------------------------------------
        Reporter:  thomie            |                   Owner:
            Type:  bug               |                  Status:  closed
        Priority:  highest           |               Milestone:  7.10.2
       Component:  Compiler          |                 Version:  7.10.2-rc2
      Resolution:  invalid           |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
                                     |  typecheck/should_compile/T2497
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by bgamari):

 simonpj, well, the real question is "what is was the author of the
 testcase expecting?" It seems that the intention of this test is to verify
 that scoping in RULES works correctly, not exercise the simplifier
 (although it's a bit difficult reconstructing this from the cited
 tickets). In light of this, it seems like the right solution here is to
 fix the testcase.

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