#8848: Warning: Rule too complicated to desugar -------------------------------------------------+------------------------- Reporter: carter | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: Resolution: fixed | Version: Operating System: Unknown/Multiple | 7.8.1-rc2 Type of failure: None/Unknown | Keywords: Test Case: | Architecture: simplCore/should_compile/T8848, T8848a | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by simonpj): No, it's too late for 7.8 I'm afraid. Possibly 7.8.2. Maybe you can try {{{ {-# RULE map2 = map2_spec #-} map2_spec :: (a->b->c)-> (Shape Z a )-> Shape Z b -> Shape Z c map2_spec = inline map2 }}} and so on for the other cases. (Untested.) Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8848#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler