• Austin Seipp's avatar
    Use evaldUnfolding for proxyHashId · 99cf4594
    Austin Seipp authored
    
    
    Edward and I noticed this - like realWorld#, we want things applied to
    proxy# which are INLINE more likely to be inlined - we do this by
    marking proxy# as having an evaldUnfolding, which in turn makes it look
    like the primitive is evaluated and makes the simplifier more willing to
    do so.
    
    See Note [evaldUnfoldings] in MkId.
    Signed-off-by: default avatarAustin Seipp <austin@well-typed.com>
    99cf4594
MkId.lhs 51.2 KB