[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