Skip to content
Snippets Groups Projects
Commit b0494a52 authored by Ben Gamari's avatar Ben Gamari
Browse files

Eta expand un-saturated primops 

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

This essentially reverts cac8dc9f,
as suggested in #18079.

Closes #18079.
parent 0ac29c88
No related merge requests found
Pipeline #18679 failed
Stage: lint
    Stage: quick-build
      Stage: build
        Stage: full-build
          Stage: cleanup
            Stage: packaging
              Stage: testing
                Hide whitespace changes
                Inline Side-by-side
                0% or .
                You are about to add 0 people to the discussion. Proceed with caution.
                Finish editing this message first!
                Please register or to comment