[project @ 1996-01-18 16:33:17 by partain]

[ghc-hetmet.git] / ghc / compiler / specialise / SpecTyFuns.hi

diff --git a/ghc/compiler/specialise/SpecTyFuns.hi b/ghc/compiler/specialise/SpecTyFuns.hi
index f491bef..12d1bc9 100644 (file)
--- a/ghc/compiler/specialise/SpecTyFuns.hi
+++ b/ghc/compiler/specialise/SpecTyFuns.hi
@@ -4,7 +4,8 @@ import Bag(Bag)
 import Class(Class)
 import Id(Id)
 import Maybes(Labda(..))
-import Pretty(PprStyle, Pretty(..), PrettyRep)
+import PreludePS(_PackedString)
+import Pretty(Pretty(..), PrettyRep)
 import TyCon(TyCon)
 import TyVar(TyVarTemplate)
 import UniType(UniType)
@@ -13,10 +14,11 @@ data Labda a   = Hamna | Ni a
 type Pretty = Int -> Bool -> PrettyRep
 data UniType 
 argTysMatchSpecTys_error :: [Labda UniType] -> [UniType] -> Labda (Int -> Bool -> PrettyRep)
+getIdOverloading :: Id -> ([TyVarTemplate], [(Class, TyVarTemplate)])
 isUnboxedSpecialisation :: [Labda UniType] -> Bool
-mkConstraintVector :: [TyVarTemplate] -> [(Class, TyVarTemplate)] -> [Bool]
+mkConstraintVector :: Id -> [Bool]
 mkSpecialisedCon :: Id -> [UniType] -> Id
-pprSpecErrs :: PprStyle -> Bag (Id, [Labda UniType]) -> Bag (Id, [Labda UniType]) -> Bag (TyCon, [Labda UniType]) -> Int -> Bool -> PrettyRep
+pprSpecErrs :: _PackedString -> Bag (Id, [Labda UniType]) -> Bag (Id, [Labda UniType]) -> Bag (TyCon, [Labda UniType]) -> Int -> Bool -> PrettyRep
 specialiseCallTys :: Bool -> Bool -> Bool -> [Bool] -> [UniType] -> [Labda UniType]
 specialiseConstrTys :: [UniType] -> [Labda UniType]