Commit c7c2a6b5 authored by's avatar
Browse files

Change an assert to a warn

This is in the constraint simplifier which I'm about
to rewrite, so I'm hoping the assert isn't fatal!
parent 39b262db
......@@ -315,7 +315,7 @@ no further propoagation is possible.
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment