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

#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 ): 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