X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FbasicTypes%2FIdInfo.hi;fp=ghc%2Fcompiler%2FbasicTypes%2FIdInfo.hi;h=55ca664dde4003e2701cd31c54bad63df09ef8b3;hb=68a1f0233996ed79824d11d946e9801473f6946c;hp=7b976de9a8d0f18d49944fd9aeccd0c7f25232b4;hpb=ed7464364646a28aaf27d1dbc2ceaf7a9d9ce62f;p=ghc-hetmet.git

diff --git a/ghc/compiler/basicTypes/IdInfo.hi b/ghc/compiler/basicTypes/IdInfo.hi
index 7b976de..55ca664 100644
--- a/ghc/compiler/basicTypes/IdInfo.hi
+++ b/ghc/compiler/basicTypes/IdInfo.hi
@@ -64,7 +64,7 @@ type OutAtom = CoreAtom Id
 type OutExpr = CoreExpr Id Id
 type OutId = Id
 data UnfoldingDetails   = NoUnfoldingDetails | LiteralForm BasicLit | OtherLiteralForm [BasicLit] | ConstructorForm Id [UniType] [CoreAtom Id] | OtherConstructorForm [Id] | GeneralForm Bool FormSummary (CoreExpr (Id, BinderInfo) Id) UnfoldingGuidance | MagicForm _PackedString MagicUnfoldingFun | IWantToBeINLINEd UnfoldingGuidance
-data UnfoldingGuidance   = UnfoldNever | UnfoldAlways | EssentialUnfolding | UnfoldIfGoodArgs Int Int [Bool] Int
+data UnfoldingGuidance   = UnfoldNever | UnfoldAlways | EssentialUnfolding | UnfoldIfGoodArgs Int Int [Bool] Int | BadUnfolding
 data SrcLoc 
 data Subst 
 type SimplifiableBinder = (Id, BinderInfo)
@@ -94,7 +94,7 @@ getWorkerId :: StrictnessInfo -> Id
 getWrapperArgTypeCategories :: UniType -> StrictnessInfo -> Labda [Char]
 iWantToBeINLINEd :: UnfoldingGuidance -> UnfoldingDetails
 indicatesWorker :: [Demand] -> Bool
-lookupConstMethodId :: SpecEnv -> UniType -> Labda Id
+lookupConstMethodId :: Id -> UniType -> Labda Id
 lookupSpecEnv :: SpecEnv -> [UniType] -> Labda (Id, [UniType], Int)
 lookupSpecId :: Id -> [Labda UniType] -> Id
 mkArgUsageInfo :: [ArgUsage] -> ArgUsageInfo