module SRT where
import Id ( Id, setIdCafInfo, getIdCafInfo, externallyVisibleId,
- isBottomingId )
+ idAppIsBottom )
import IdInfo ( CafInfo(..) )
import StgSyn
| otherwise = MayHaveCafRefs -- otherwise, treat as a CAF
isBottomingExpr (StgLet bind expr) = isBottomingExpr expr
-isBottomingExpr (StgApp f args) = isBottomingId f
-isBottomingExpr _ = False
+isBottomingExpr (StgApp f args) = idAppIsBottom f (length args)
+isBottomingExpr _ = False
\end{code}
-----------------------------------------------------------------------------