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.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 25 2019, 9:20 PM
Parents
rGHC5ff0a171aa19: CoreToStg: Enable CAFfyness checking with -dstg-lint
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCcac8dc9f51e3: Don't eta-expand unsaturated primops (authored by bgamari).Jun 25 2019, 9:20 PM