#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