X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FClass.lhs;h=2b7ce52e1fb24381d1806879ce08b3f0dce48a14;hb=1a8d01f99c116ea79fa765afc8f8f6129c5b270d;hp=355376343114257d92155c6a078a96b01ae305e7;hpb=73c0472d57af773f9920bf27547211d5c8785943;p=ghc-hetmet.git

diff --git a/ghc/compiler/types/Class.lhs b/ghc/compiler/types/Class.lhs
index 3553763..2b7ce52 100644
--- a/ghc/compiler/types/Class.lhs
+++ b/ghc/compiler/types/Class.lhs
@@ -5,18 +5,19 @@
 
 \begin{code}
 module Class (
-	Class, ClassOpItem, ClassPred, ClassContext, FunDep,
+	Class, ClassOpItem, FunDep,
 	DefMeth (..),
 
 	mkClass, classTyVars, classArity,
 	classKey, className, classSelIds, classTyCon,
-	classBigSig, classExtraBigSig, classTvsFds
+	classBigSig, classExtraBigSig, classTvsFds, classSCTheta,
+ 	classHasFDs
     ) where
 
 #include "HsVersions.h"
 
 import {-# SOURCE #-} TyCon	( TyCon )
-import {-# SOURCE #-} TypeRep	( Type )
+import {-# SOURCE #-} TypeRep	( PredType )
 
 import Var		( Id, TyVar )
 import Name		( NamedThing(..), Name )
@@ -42,7 +43,7 @@ data Class
 	classTyVars  :: [TyVar],		-- The class type variables
 	classFunDeps :: [FunDep TyVar],		-- The functional dependencies
 
-	classSCTheta :: [(Class,[Type])],	-- Immediate superclasses, and the
+	classSCTheta :: [PredType],		-- Immediate superclasses, and the
 	classSCSels  :: [Id],			-- corresponding selector functions to
 						-- extract them from a dictionary of this
 						-- class
@@ -52,9 +53,6 @@ data Class
 	classTyCon :: TyCon		-- The data type constructor for dictionaries
   }					-- of this class
 
-type ClassPred 	  = (Class, [Type])
-type ClassContext = [ClassPred]
-
 type FunDep a	  = ([a],[a])	--  e.g. class C a b c |  a b -> c, a c -> b  where ...
 				--  Here fun-deps are [([a,b],[c]), ([a,c],[b])]
 
@@ -73,7 +71,7 @@ The @mkClass@ function fills in the indirect superclasses.
 \begin{code}
 mkClass :: Name -> [TyVar]
 	-> [([TyVar], [TyVar])]
-	-> [(Class,[Type])] -> [Id]
+	-> [PredType] -> [Id]
 	-> [ClassOpItem]
 	-> TyCon
 	-> Class
@@ -116,6 +114,9 @@ classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps,
 			 classSCTheta = sc_theta, classSCSels = sc_sels,
 			 classOpStuff = op_stuff})
   = (tyvars, fundeps, sc_theta, sc_sels, op_stuff)
+
+classHasFDs :: Class -> Bool
+classHasFDs (Class {classFunDeps = fundeps}) = not (null fundeps)
 \end{code}