import BinderInfo
import CmdLineOpts ( GlobalSwitch(..), SimplifierSwitch(..) )
import Digraph ( stronglyConnComp )
-import Id ( eqId, idWantsToBeINLINEd, isConstMethodId,
+import Id ( eqId, idWantsToBeINLINEd, isConstMethodId_maybe,
isSpecPragmaId_maybe, SpecInfo )
import IdEnv
import Maybes
keepBecauseConjurable (OccEnv _ _ keep_conjurable _ _) binder
= keep_conjurable && is_conjurable
where
- is_conjurable = isConstMethodId binder
+ is_conjurable = maybeToBool (isConstMethodId_maybe binder)
type UsageDetails = IdEnv BinderInfo -- A finite map from ids to their usage