Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/f272d03a64329abdc28613a24f193bef7080db5a >--------------------------------------------------------------- commit f272d03a64329abdc28613a24f193bef7080db5a 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
