This is in the constraint simplifier which I'm about
to rewrite, so I'm hoping the assert isn't fatal!
--
normaliseEqs :: [Inst] -> TcM EqConfig
normaliseEqs eqs
--
normaliseEqs :: [Inst] -> TcM EqConfig
normaliseEqs eqs
- = do { ASSERTM2( allM wantedEqInstIsUnsolved eqs, ppr eqs )
+ = do { WARNM2( anyM wantedEqInstIsUnsolved eqs, ppr eqs )
; traceTc $ ptext (sLit "Entering normaliseEqs")
; eqss <- mapM normEqInst eqs
; traceTc $ ptext (sLit "Entering normaliseEqs")
; eqss <- mapM normEqInst eqs