X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FbasicTypes%2FId.hi;fp=ghc%2Fcompiler%2FbasicTypes%2FId.hi;h=773598caf8f7e03a6e94a667bb1abdb7af004e92;hb=68a1f0233996ed79824d11d946e9801473f6946c;hp=c8035565cd861a6449c99b828eacd0f3d6cdac62;hpb=ed7464364646a28aaf27d1dbc2ceaf7a9d9ce62f;p=ghc-hetmet.git

diff --git a/ghc/compiler/basicTypes/Id.hi b/ghc/compiler/basicTypes/Id.hi
index c803556..773598c 100644
--- a/ghc/compiler/basicTypes/Id.hi
+++ b/ghc/compiler/basicTypes/Id.hi
@@ -93,15 +93,16 @@ getIdStrictness :: Id -> StrictnessInfo
 getIdUnfolding :: Id -> UnfoldingDetails
 getIdUniType :: Id -> UniType
 getIdUpdateInfo :: Id -> UpdateInfo
+getInstIdModule :: Id -> _PackedString
 getInstNamePieces :: Bool -> Inst -> [_PackedString]
 getInstantiatedDataConSig :: Id -> [UniType] -> ([UniType], [UniType], UniType)
 getMentionedTyConsAndClassesFromId :: Id -> (Bag TyCon, Bag Class)
 idWantsToBeINLINEd :: Id -> Bool
 isBottomingId :: Id -> Bool
 isClassOpId :: Id -> Bool
-isConstMethodId :: Id -> Bool
+isConstMethodId_maybe :: Id -> Labda (Class, UniType, ClassOp)
 isDataCon :: Id -> Bool
-isDefaultMethodId :: Id -> Bool
+isDefaultMethodId_maybe :: Id -> Labda (Class, ClassOp, Bool)
 isDictFunId :: Id -> Bool
 isImportedId :: Id -> Bool
 isInstId_maybe :: Id -> Labda Inst
@@ -116,10 +117,10 @@ isWorkerId :: Id -> Bool
 isWrapperId :: Id -> Bool
 localiseId :: Id -> Id
 mkClassOpId :: Unique -> Class -> ClassOp -> UniType -> IdInfo -> Id
-mkConstMethodId :: Unique -> Class -> ClassOp -> UniType -> UniType -> Bool -> IdInfo -> Id
+mkConstMethodId :: Unique -> Class -> ClassOp -> UniType -> UniType -> Bool -> _PackedString -> IdInfo -> Id
 mkDataCon :: Unique -> FullName -> [TyVarTemplate] -> [(Class, UniType)] -> [UniType] -> TyCon -> SpecEnv -> Id
 mkDefaultMethodId :: Unique -> Class -> ClassOp -> Bool -> UniType -> IdInfo -> Id
-mkDictFunId :: Unique -> Class -> UniType -> UniType -> Bool -> IdInfo -> Id
+mkDictFunId :: Unique -> Class -> UniType -> UniType -> Bool -> _PackedString -> IdInfo -> Id
 mkId :: Name -> UniType -> IdInfo -> Id
 mkIdWithNewUniq :: Id -> Unique -> Id
 mkImported :: Unique -> FullName -> UniType -> IdInfo -> Id
@@ -138,6 +139,7 @@ myWrapperMaybe :: Id -> Labda Id
 nullSpecEnv :: SpecEnv
 pprIdInUnfolding :: UniqFM Id -> Id -> Int -> Bool -> PrettyRep
 replaceIdInfo :: Id -> IdInfo -> Id
+selectIdInfoForSpecId :: Id -> IdInfo
 showId :: PprStyle -> Id -> [Char]
 toplevelishId :: Id -> Bool
 unfoldingUnfriendlyId :: Id -> Bool