• Simon Peyton Jones's avatar
    More aggressive Given/Wanted overlap check · 8b7ceece
    Simon Peyton Jones authored
    This fixes Trac #10195
    
    For some reason we considered untouchability before, but Trac #10195
    shows that this is positively worng.
    
    See Note [Instance and Given overlap] in TcInteract.
    
    Looking at the Git log, it seems that this bug was introduced at the
    same time that we introduced the Given/Wanted overlap check in the first
    place.
    8b7ceece
TcInteract.hs 77 KB