Don't inline/apply other rules when simplifying a rule RHS.
authorAndrew Farmer <afarmer@ittc.ku.edu>
Tue, 13 Oct 2015 02:27:41 +0000 (21:27 -0500)
committerAustin Seipp <austin@well-typed.com>
Tue, 13 Oct 2015 02:27:50 +0000 (21:27 -0500)
commitdcc342870b4d8a739ccbed3ae26e84dcc3579914
tree6440b780883111e52303db0304ece27c3e048bc5
parentf8fbf385b879fe177409a25cc9499275ea3dc45d
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
compiler/simplCore/SimplUtils.hs
compiler/simplCore/Simplify.hs
testsuite/tests/simplCore/should_compile/T7785.stderr