Commit 373dd3e0 authored by simonpj's avatar simonpj
Browse files

[project @ 2000-12-19 08:37:18 by simonpj]

Use classesOfPreds instead of DIY
parent 38ff36a4
...@@ -60,7 +60,7 @@ import PprType ( pprPred ) ...@@ -60,7 +60,7 @@ import PprType ( pprPred )
import Type ( Type, PredType(..), import Type ( Type, PredType(..),
isTyVarTy, mkDictTy, mkPredTy, isTyVarTy, mkDictTy, mkPredTy,
splitForAllTys, splitSigmaTy, funArgTy, splitForAllTys, splitSigmaTy, funArgTy,
splitMethodTy, splitRhoTy, splitMethodTy, splitRhoTy, classesOfPreds,
tyVarsOfType, tyVarsOfTypes, tyVarsOfPred, tyVarsOfType, tyVarsOfTypes, tyVarsOfPred,
tidyOpenType, tidyOpenTypes tidyOpenType, tidyOpenTypes
) )
...@@ -724,7 +724,7 @@ lookupSimpleInst clas tys ...@@ -724,7 +724,7 @@ lookupSimpleInst clas tys
-> returnNF_Tc (Just (substClasses (mkSubst emptyInScopeSet tenv) theta')) -> returnNF_Tc (Just (substClasses (mkSubst emptyInScopeSet tenv) theta'))
where where
(_, theta, _) = splitSigmaTy (idType dfun) (_, theta, _) = splitSigmaTy (idType dfun)
theta' = map (\(Class clas tys) -> (clas,tys)) theta theta' = classesOfPreds theta
other -> returnNF_Tc Nothing other -> returnNF_Tc Nothing
\end{code} \end{code}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment