X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FClass.lhs;h=fb7cab135edc0598ff75d14ce4b55bb293440cb4;hb=1ae354e107715a9e3fd4e2d67b61f868c090e4ae;hp=56d28ac020dd9f17d732cc8b563f3823db96d6ac;hpb=ab22f4e6456820c1b5169d75f5975a94e61f54ce;p=ghc-hetmet.git diff --git a/compiler/types/Class.lhs b/compiler/types/Class.lhs index 56d28ac..fb7cab1 100644 --- a/compiler/types/Class.lhs +++ b/compiler/types/Class.lhs @@ -17,8 +17,6 @@ module Class ( classBigSig, classExtraBigSig, classTvsFds, classSCTheta ) where -#include "HsVersions.h" - import {-# SOURCE #-} TyCon ( TyCon ) import {-# SOURCE #-} TypeRep ( PredType ) @@ -27,6 +25,7 @@ import Name import BasicTypes import Unique import Outputable +import FastString \end{code} %************************************************************************ @@ -117,12 +116,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}) @@ -171,9 +174,9 @@ instance Outputable DefMeth where pprFundeps :: Outputable a => [FunDep a] -> SDoc pprFundeps [] = empty -pprFundeps fds = hsep (ptext SLIT("|") : punctuate comma (map ppr_fd fds)) +pprFundeps fds = hsep (ptext (sLit "|") : punctuate comma (map ppr_fd fds)) where - ppr_fd (us, vs) = hsep [interppSP us, ptext SLIT("->"), + ppr_fd (us, vs) = hsep [interppSP us, ptext (sLit "->"), interppSP vs] \end{code}