[GHC] #10829: Simplification in the RHS of rules

[GHC]

#10829: Simplification in the RHS of rules
-------------------------------------+-------------------------------------
        Reporter:  afarmer           |                Owner:
            Type:  bug               |               Status:  patch
        Priority:  high              |            Milestone:  7.10.3
       Component:  Compiler          |              Version:  7.10.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #10528            |  Differential Rev(s):  Phab:D1246
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Austin Seipp <austin@…>):

 In [changeset:"dcc342870b4d8a739ccbed3ae26e84dcc3579914/ghc" dcc3428/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="dcc342870b4d8a739ccbed3ae26e84dcc3579914"
 Don't inline/apply other rules when simplifying a rule RHS.

 HERMIT users depend on RULES to specify equational properties. 7.10.2
 performed both inlining and simplification in both sides of the rules,
 meaning
 they can't really be used for this. This breaks most HERMIT use cases.  A
 separate commit already disabled this for the LHS of rules. This does so
 for
 the RHS.

 See Trac #10829 for nofib results.

 Reviewed By: austin, bgamari, simonpj

 Differential Revision: https://phabricator.haskell.org/D1246

 GHC Trac Issues: #10829
 }}}

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