Don't eta-expand unsaturated primops

Authored by bgamari on Jun 21 2019, 11:42 AM.

Description

Don't eta-expand unsaturated primops

Previously, as described in Note [Primop wrappers], hasNoBinding would
return False in the case of PrimOpIds. This would result in eta
expansion of unsaturated primop applications during CorePrep. Not only
did this expansion result in unnecessary allocations, but it also meant
lead to rather nasty inconsistencies between the CAFfy-ness
determinations made by TidyPgm and CorePrep.

This fixes Trac #16846.

(cherry picked from commit 4ae71eba8c1f680f3163fa27fd83cc5a5214770a)

Details

Committed
bgamariJun 26 2019, 12:46 PM
Parents
rGHC9781903c83bf: CoreToStg: Enable CAFfyness checking with -dstg-lint
Branches
Unknown
Tags
Unknown