• Ben Gamari's avatar
    Don't eta-expand unsaturated primops · cac8dc9f
    Ben Gamari authored
    Previously, as described in Note [Primop wrappers], `hasNoBinding` would
    return False in the case of `PrimOpId`s. 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 #16846.
    cac8dc9f
Code owners : Ben Gamari
PrelNames.hs 108 KB