Skip to content
  • Ben Gamari's avatar
    Don't eta-expand unsaturated primops · 4d8a7206
    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.
    
    (cherry picked from commit 4ae71eba)
    4d8a7206