From 373dd3e08a954f551b8fea7e342e7f056eff319a Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 19 Dec 2000 08:37:18 +0000
Subject: [PATCH] [project @ 2000-12-19 08:37:18 by simonpj] Use
 classesOfPreds instead of DIY

---
 ghc/compiler/typecheck/Inst.lhs |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs
index 6342259..d0d44cf 100644
--- a/ghc/compiler/typecheck/Inst.lhs
+++ b/ghc/compiler/typecheck/Inst.lhs
@@ -60,7 +60,7 @@ import PprType	( pprPred )
 import Type	( Type, PredType(..), 
 		  isTyVarTy, mkDictTy, mkPredTy,
 		  splitForAllTys, splitSigmaTy, funArgTy,
-		  splitMethodTy, splitRhoTy,
+		  splitMethodTy, splitRhoTy, classesOfPreds,
 		  tyVarsOfType, tyVarsOfTypes, tyVarsOfPred,
 		  tidyOpenType, tidyOpenTypes
 		)
@@ -724,7 +724,7 @@ lookupSimpleInst clas tys
 	-> returnNF_Tc (Just (substClasses (mkSubst emptyInScopeSet tenv) theta'))
         where
 	   (_, theta, _) = splitSigmaTy (idType dfun)
-	   theta' = map (\(Class clas tys) -> (clas,tys)) theta
+	   theta'	 = classesOfPreds theta
 
       other  -> returnNF_Tc Nothing
 \end{code}
-- 
1.7.10.4