WIP: Take free variable info into account when considering inlinings
This MR addresses #3781, and implements the idea in #3781 (comment 524704)
For now, it's just up to get a look at CI.
Merge request reports
Activity
Filter activity
Related !8778 (closed)
As mentioned in the call, does it solve the following kind of issues I had with bignum primitives?
E.g. consider:
naturalMul :: Natural -> Natural -> Natural naturalMul (NS a) (NS b) = small -- we only want to inline in this case naturalMul (NS a) (NB b) = BIG1 naturalMul (NB a) (NS b) = BIG2 naturalMul (NB a) (NB b) = BIG3We only want to inline at call sites where 2 values built with the
NSconstructor are passed as arguments.As mentioned in the call, does it solve the following kind of issues I had with bignum primitives?
Great example. Yes, absolutely it would solve that. I should add a Note to explain.
Edited by Simon Peyton Jonesmentioned in issue #20516
added 2 commits
mentioned in merge request !6732 (closed)
Please register or sign in to reply