X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fspecialise%2FSpecialise.hi;fp=ghc%2Fcompiler%2Fspecialise%2FSpecialise.hi;h=879bd3af863d64eee2d6a420ea6d9f4ec1cba2b5;hb=68a1f0233996ed79824d11d946e9801473f6946c;hp=74c4288d32dfa2ff0031c688c5e15b77833a792a;hpb=ed7464364646a28aaf27d1dbc2ceaf7a9d9ce62f;p=ghc-hetmet.git

diff --git a/ghc/compiler/specialise/Specialise.hi b/ghc/compiler/specialise/Specialise.hi
index 74c4288..879bd3a 100644
--- a/ghc/compiler/specialise/Specialise.hi
+++ b/ghc/compiler/specialise/Specialise.hi
@@ -11,7 +11,7 @@ import TyCon(TyCon)
 import UniType(UniType)
 data Bag a 
 data FiniteMap a b 
-data SpecialiseData   = SpecData Bool Bool [TyCon] [TyCon] (FiniteMap TyCon [[Labda UniType]]) (Bag (Id, [Labda UniType])) (Bag (Id, [Labda UniType])) (Bag (TyCon, [Labda UniType]))
-initSpecData :: [TyCon] -> FiniteMap TyCon [[Labda UniType]] -> SpecialiseData
+data SpecialiseData   = SpecData Bool Bool [TyCon] [TyCon] (FiniteMap TyCon [(Bool, [Labda UniType])]) (Bag (Id, [Labda UniType])) (Bag (Id, [Labda UniType])) (Bag (TyCon, [Labda UniType]))
+initSpecData :: [TyCon] -> FiniteMap TyCon [(Bool, [Labda UniType])] -> SpecialiseData
 specProgram :: (GlobalSwitch -> Bool) -> SplitUniqSupply -> [CoreBinding Id Id] -> SpecialiseData -> ([CoreBinding Id Id], SpecialiseData)