X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcDeriv.lhs;h=82a6d2633288aeb94a6530fe49729094e8c5b69e;hb=59c796f8e77325d35f29ddd3e724bfa780466d40;hp=b8a5f1df34428bf4084a3e6a1c8d4c0e94e74143;hpb=c8898df0380dad4705353de00a48ea105d00bcc5;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcDeriv.lhs b/ghc/compiler/typecheck/TcDeriv.lhs
index b8a5f1d..82a6d26 100644
--- a/ghc/compiler/typecheck/TcDeriv.lhs
+++ b/ghc/compiler/typecheck/TcDeriv.lhs
@@ -49,7 +49,7 @@ import Var		( TyVar, tyVarKind, idType, varName )
 import VarSet		( mkVarSet, subVarSet )
 import PrelNames
 import SrcLoc		( srcLocSpan, Located(..) )
-import Util		( zipWithEqual, sortLt, notNull )
+import Util		( zipWithEqual, sortLe, notNull )
 import ListSetOps	( removeDups,  assocMaybe )
 import Outputable
 import Bag
@@ -714,7 +714,7 @@ solveDerivEqns orig_eqns
       = addSrcSpan (srcLocSpan (getSrcLoc tc))		$
 	addErrCtxt (derivCtxt (Just clas) tc)	$
 	tcSimplifyDeriv tyvars deriv_rhs	`thenM` \ theta ->
-	returnM (sortLt (<) theta)	-- Canonicalise before returning the soluction
+	returnM (sortLe (<=) theta)	-- Canonicalise before returning the soluction
 
 mk_deriv_dfun (dfun_name, clas, tycon, tyvars, _) theta
   = mkDictFunId dfun_name tyvars theta