[GHC] #8848: Warning: Rule too complicated to desugar

[GHC]

#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