X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FIdInfo.lhs;h=c106f5397c1684843af20aa615db478e059ecfca;hb=a10a21dadac041e928ad5dab3810b68ab35bc9bb;hp=1c01ba4355612dded016d6665f011bead6a8da01;hpb=a3bab0506498db41853543558c52a4fda0d183af;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/IdInfo.lhs b/compiler/basicTypes/IdInfo.lhs
index 1c01ba4..c106f53 100644
--- a/compiler/basicTypes/IdInfo.lhs
+++ b/compiler/basicTypes/IdInfo.lhs
@@ -10,7 +10,7 @@ Haskell. [WDP 94/11])
 \begin{code}
 module IdInfo (
         -- * The IdDetails type
-	IdDetails(..), pprIdDetails,
+	IdDetails(..), pprIdDetails, coVarDetails,
 
         -- * The IdInfo type
 	IdInfo,		-- Abstract
@@ -46,6 +46,7 @@ module IdInfo (
 	
 	-- ** The SpecInfo type
 	SpecInfo(..),
+	emptySpecInfo,
 	isEmptySpecInfo, specInfoFreeVars,
 	specInfoRules, seqSpecInfo, setSpecInfoHead,
         specInfo, setSpecInfo,
@@ -140,6 +141,9 @@ data IdDetails
        --                  implemented with a newtype, so it might be bad
        --                  to be strict on this dictionary
 
+coVarDetails :: IdDetails
+coVarDetails = VanillaId
+
 instance Outputable IdDetails where
     ppr = pprIdDetails