Skip to content

Eta expand un-saturated primops

Ben Gamari requested to merge wip/T18079 into master

Now since we no longer try to predict CAFfyness we have no need for the solution to #16846 (closed). Eta expanding unsaturated primop applications is conceptually simpler, especially in the presence of levity polymorphism.

This essentially reverts cac8dc9f, as suggested in #18079 (closed). Most of the changes are updates to Notes.

Closes #18079 (closed).

To-do

  • Move Note [Eta expansion of hasNoBinding things in CorePrep] to historical Note in Note [Eta expanding primops]
  • Amend Note [Primop wrappers] and write Note [Eta expanding primops]
Edited by Ben Gamari

Merge request reports