• Simon Peyton Jones's avatar
    Use transSuperClasses in TcErrors · 50249a9f
    Simon Peyton Jones authored
    Code in TcErrors was recursively using immSuperClasses,
    which loops in the presence of UndecidableSuperClasses.
    
    Better to use transSuperClasses instead, which has a loop-breaker
    mechanism built in.
    
    Fixes issue #16414.
    50249a9f
TcErrors.hs 128 KB