X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplStg%2FSRT.lhs;fp=ghc%2Fcompiler%2FsimplStg%2FSRT.lhs;h=c699fd3ab618719509453842e9197c2ca7d6d7da;hb=7e602b0a11e567fcb035d1afd34015aebcf9a577;hp=770af19db90980f381d098c4c144fe49cb72ee3b;hpb=139f0fd30e19f934aa51885a52b8e5d7c24ee460;p=ghc-hetmet.git diff --git a/ghc/compiler/simplStg/SRT.lhs b/ghc/compiler/simplStg/SRT.lhs index 770af19..c699fd3 100644 --- a/ghc/compiler/simplStg/SRT.lhs +++ b/ghc/compiler/simplStg/SRT.lhs @@ -10,7 +10,7 @@ bindings have no CAF references, and record the fact in their IdInfo. module SRT where import Id ( Id, setIdCafInfo, getIdCafInfo, externallyVisibleId, - isBottomingId ) + idAppIsBottom ) import IdInfo ( CafInfo(..) ) import StgSyn @@ -396,8 +396,8 @@ mk_caf_info (StgRhsCon cc con args) srt | 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} -----------------------------------------------------------------------------