GenId{-instance Eq-}
)
import Maybes ( maybeToBool )
-import Outputable ( isExported, Outputable(..){-instance * (,) -} )
+import Name ( isExported )
+import Outputable ( Outputable(..){-instance * (,) -} )
import PprCore
import PprStyle ( PprStyle(..) )
import PprType ( GenType{-instance Outputable-}, GenTyVar{-ditto-} )
where
(usage, body') = occAnal env body
+occAnal env (Coerce c ty body)
+ = (usage, Coerce c ty body')
+ where
+ (usage, body') = occAnal env body
+
occAnal env (App fun arg)
= (fun_usage `combineUsageDetails` arg_usage, App fun' arg)
where