• Simon Peyton Jones's avatar
    Strip casts in checkValidInstHead · b2e6350f
    Simon Peyton Jones authored
    This patch addresses Trac #11464.
    
    The fix is a bit crude (traverse the type to remove CastTys),
    but it's also simple.
    
    See Note [Casts during validity checking] in TcValidity
    b2e6350f
all.T 18.2 KB