Use transSuperClasses in TcErrors

Authored by simonpj on Mar 11 2019, 5:02 AM.

Description

Use transSuperClasses in TcErrors

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 Trac #16414.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Mar 12 2019, 8:13 AM
Parents
rGHC5165378d8760: Remove trailing whitespace
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC50249a9f652a: Use transSuperClasses in TcErrors (authored by simonpj).Mar 12 2019, 8:13 AM