• Ben Gamari's avatar
    Don't eta-expand unsaturated primops · 4ae71eba
    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.
Id.hs 34.3 KB