X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FClass.lhs;h=2f946d8592a226f5b9104bf2a7545f28f83839bc;hp=29ce00cfbc389a650b420bb3a8ac964214bb6a28;hb=30c122df62ec75f9ed7f392f24c2925675bf1d06;hpb=7fc749a43b4b6b85d234fa95d4928648259584f4 diff --git a/compiler/types/Class.lhs b/compiler/types/Class.lhs index 29ce00c..2f946d8 100644 --- a/compiler/types/Class.lhs +++ b/compiler/types/Class.lhs @@ -6,13 +6,6 @@ The @Class@ datatype \begin{code} -{-# OPTIONS -w #-} --- The above warning supression flag is a temporary kludge. --- While working on this module you are encouraged to remove it and fix --- any warnings in the module. See --- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings --- for details - module Class ( Class, ClassOpItem, DefMeth (..), @@ -34,6 +27,7 @@ import Name import BasicTypes import Unique import Outputable +import FastString \end{code} %************************************************************************ @@ -124,12 +118,16 @@ classMethods :: Class -> [Id] classMethods (Class {classOpStuff = op_stuff}) = [op_sel | (op_sel, _) <- op_stuff] +classTvsFds :: Class -> ([TyVar], [FunDep TyVar]) classTvsFds c = (classTyVars c, classFunDeps c) +classBigSig :: Class -> ([TyVar], [PredType], [Id], [ClassOpItem]) classBigSig (Class {classTyVars = tyvars, classSCTheta = sc_theta, classSCSels = sc_sels, classOpStuff = op_stuff}) = (tyvars, sc_theta, sc_sels, op_stuff) + +classExtraBigSig :: Class -> ([TyVar], [FunDep TyVar], [PredType], [Id], [TyCon], [ClassOpItem]) classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, classSCTheta = sc_theta, classSCSels = sc_sels, classATs = ats, classOpStuff = op_stuff})