#10417: Rule matching not "seeing through" floating and type lambda (and maybe cast) -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by nomeata): From looking hard at these examples, I would say it “just” floating out getting into the way for applying rules, which is a general problem. At least for the `artificial_example`. Hard to predict if the casts would get in the way if the float out would not prevent the rule from firing in the simple case, but one step at a time. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10417#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler