Skip to content

Make rule rewriting "win"

Simon Peyton Jones requested to merge wip/T21851-rule-win into master

This MR addresses #21851 (closed) by making rule rewriting "win" over inlining.

It does mean that for Ids that (a) have rules but (b) end up being inlined, and (c) the argument occurs exactly once and so is inlined unconditionally, we may do a little bit more work.

Edited by Simon Peyton Jones

Merge request reports