• Simon Peyton Jones's avatar
    Report a Wanted error even if there are Given ones · 6b1102e2
    Simon Peyton Jones authored
    We suppress some Given errors; see Note [Given errors]
    in TcErrors.  But we must be careful not to suppress
    Wanted errors because of the presence of these Given
    errors -- else we might allow compilation to bogusly
    proceed
    
    The rubber hits the road in TcRnTypes.insolubleCt,
    where we don't want to treat Givens as insoluble,
    nor (and this is the new bit) Deriveds that arise
    from Givens.  See Note [Given insolubles] in TcRnTypes.
    
    This fixes #15767.
    6b1102e2
TcErrors.hs 127 KB