Use tyCoVarsOfType for CTyEqCan in shouldSplitWD
An ASSERT failure in rewritableTyVars made me realise
that there was an outright bug in shouldSplitWD. See
the long Note [Splitting WD constraints].
|simonpj||Feb 3 2017, 11:47 AM|
|Build 20071: [GHC] Linux/amd64: Continuous Integration|
|Build 20070: [GHC] OSX/amd64: Continuous Integration|
|Build 20069: [GHC] Windows/amd64: Continuous Integration|