@@ -557,8 +557,9 @@ buildSCG' ist topfn pats args = nub $ concatMap scgPat pats where
557557 findCalls [] Toplevel (dePat rhs') (patvars lhs')
558558 (zip pargs [0..])
559559
560− findCalls cases Delayed ap@(P _ n _) pvs args
561− | n == topfn = []
560+ -- Under a delay, calls are excluded from the graph - if it's a call to a
561+ -- non-total function we'll find that in the final totality check
562+ findCalls cases Delayed ap@(P _ n _) pvs args = []
562563 findCalls cases guarded ap@(App _ f a) pvs pargs
563564 -- under a call to "assert_total", don't do any checking, just believe
564565 -- that it is total.