diff options
| author | simonpj@microsoft.com <unknown> | 2010-05-06 16:11:11 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2010-05-06 16:11:11 +0000 |
| commit | c7c2a6b5ce0ea2fa010b193d059d4705a1791c40 (patch) | |
| tree | c3b231effba00c56df5a7dbf616355b0af2c0543 /compiler | |
| parent | 39b262dbbf5163ed0bdd32f7c947133278c899bc (diff) | |
| download | haskell-c7c2a6b5ce0ea2fa010b193d059d4705a1791c40.tar.gz | |
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!
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcTyFuns.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcTyFuns.lhs b/compiler/typecheck/TcTyFuns.lhs index 7bb8680861..68e2051724 100644 --- a/compiler/typecheck/TcTyFuns.lhs +++ b/compiler/typecheck/TcTyFuns.lhs @@ -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 |