X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FbasicTypes%2FIdInfo.lhs;h=26fe4531ae44ed3a50aa26a79c2c3b96f7dbf635;hp=aa989b9a66f4764ddaf9d3c23ac24f9869fa6ecc;hb=e79c9ce01d0ce4412bd4bcd99c8c728a6a2ec569;hpb=8e2cb328ca9f2303e7e11874e50421aa18914101 diff --git a/compiler/basicTypes/IdInfo.lhs b/compiler/basicTypes/IdInfo.lhs index aa989b9..26fe453 100644 --- a/compiler/basicTypes/IdInfo.lhs +++ b/compiler/basicTypes/IdInfo.lhs @@ -89,7 +89,7 @@ module IdInfo ( TickBoxOp(..), TickBoxId, ) where -import {-# SOURCE #-} CoreSyn ( CoreRule, setRuleIdName, seqRules, Unfolding, noUnfolding ) +import CoreSyn ( CoreRule, setRuleIdName, seqRules, Unfolding, noUnfolding ) import Class import PrimOp @@ -573,11 +573,11 @@ this to". \begin{code} -- | If this Id has a worker then we store a reference to it. Worker --- functions are generated by the worker/wrapper pass, using information +-- functions are generated by the worker\/wrapper pass, using information -- information from strictness analysis. data WorkerInfo = NoWorker -- ^ No known worker function | HasWorker Id Arity -- ^ The 'Arity' is the arity of the /wrapper/ at the moment of the - -- worker/wrapper split, which may be different from the current 'Id' 'Aritiy' + -- worker\/wrapper split, which may be different from the current 'Id' 'Aritiy' seqWorker :: WorkerInfo -> () seqWorker (HasWorker id a) = id `seq` a `seq` () @@ -623,6 +623,7 @@ data CafInfo | NoCafRefs -- ^ A function or static constructor -- that refers to no CAFs. + deriving (Eq, Ord) -- | Assumes that the 'Id' has CAF references: definitely safe vanillaCafInfo :: CafInfo @@ -667,7 +668,7 @@ data CprInfo | ReturnsCPR -- ^ Yes, this function returns a constructed product -- Implicitly, this means "after the function has been applied - -- to all its arguments", so the worker/wrapper builder in + -- to all its arguments", so the worker\/wrapper builder in -- WwLib.mkWWcpr checks that that it is indeed saturated before -- making use of the CPR info