X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fdeforest%2FCore2Def.hi;h=a1e84c693153767c0c83a9df962b0136d87b9b59;hb=8147a9f0bcc48ef0db1e91f8b985a4f5c3fed560;hp=a523d9d7059e67cb1af86b17decb2924c065a049;hpb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;p=ghc-hetmet.git

diff --git a/ghc/compiler/deforest/Core2Def.hi b/ghc/compiler/deforest/Core2Def.hi
index a523d9d..a1e84c6 100644
--- a/ghc/compiler/deforest/Core2Def.hi
+++ b/ghc/compiler/deforest/Core2Def.hi
@@ -1,22 +1,17 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
+{-# GHC_PRAGMA INTERFACE VERSION 3 #-}
 interface Core2Def where
 import BinderInfo(BinderInfo)
 import CmdLineOpts(GlobalSwitch, SwitchResult)
 import CoreSyn(CoreBinding, CoreExpr)
 import DefSyn(DefBindee, DefProgram(..))
-import Id(Id, IdDetails)
-import IdInfo(IdInfo)
+import Id(Id)
 import PlainCore(PlainCoreProgram(..))
-import UniType(UniType)
 import UniqFM(UniqFM)
-import Unique(Unique)
-data CoreBinding a b 	{-# GHC_PRAGMA CoNonRec a (CoreExpr a b) | CoRec [(a, CoreExpr a b)] #-}
-data DefBindee 	{-# GHC_PRAGMA DefArgExpr (CoreExpr Id DefBindee) | DefArgVar Id | Label (CoreExpr Id DefBindee) (CoreExpr Id DefBindee) #-}
+data CoreBinding a b 
+data DefBindee 
 type DefProgram = [CoreBinding Id DefBindee]
-data Id 	{-# GHC_PRAGMA Id Unique UniType IdInfo IdDetails #-}
+data Id 
 type PlainCoreProgram = [CoreBinding Id Id]
 c2d :: UniqFM (CoreExpr Id DefBindee) -> CoreExpr (Id, BinderInfo) Id -> CoreExpr Id DefBindee
-	{-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _S_ "LS" _N_ _N_ #-}
 core2def :: (GlobalSwitch -> SwitchResult) -> [CoreBinding Id Id] -> [CoreBinding Id DefBindee]
-	{-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _S_ "SL" _N_ _N_ #-}