Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-7.2
http://hackage.haskell.org/trac/ghc/changeset/2648e205f8d9c2d148c19f6df987c6b21fab0526 >--------------------------------------------------------------- commit 2648e205f8d9c2d148c19f6df987c6b21fab0526 Author: Simon Peyton Jones <[email protected]> Date: Mon Jul 18 13:54:00 2011 +0100 Remove bogus ASSERT >--------------------------------------------------------------- compiler/typecheck/TcErrors.lhs | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/compiler/typecheck/TcErrors.lhs b/compiler/typecheck/TcErrors.lhs index 6622af9..277d949 100644 --- a/compiler/typecheck/TcErrors.lhs +++ b/compiler/typecheck/TcErrors.lhs @@ -586,8 +586,7 @@ reportOverlap ctxt inst_envs orig pred@(ClassP clas tys) , if not (isSingleton matches) then -- Two or more matches empty - else -- One match, plus some unifiers - ASSERT( not (null unifiers) ) + else -- One match parens (vcat [ptext (sLit "The choice depends on the instantiation of") <+> quotes (pprWithCommas ppr (varSetElems (tyVarsOfPred pred))), if null (matching_givens) then _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
