[commit: ghc] ghc-7.2: Remove bogus ASSERT (2648e20)
Ian Lynagh
igloo at earth.li
Tue Jul 19 18:27:57 CEST 2011
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 <simonpj at microsoft.com>
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
More information about the Cvs-ghc
mailing list