• Simon Peyton Jones's avatar
    Detect levity-polymorphic uses of unsafeCoerce# · e40db7b1
    Simon Peyton Jones authored
    This bug was shown up by Trac #14561. The deguarer carefully
    detects unsaturated and levity-polymorphic uses of primops,
    but not of things like unsafeCoerce#.
    
    The fix is simple: see Note [Levity-polymorphic Ids] in Id.
    e40db7b1
T14561.stderr 1 Byte