@@ -557,8 +557,9 @@ buildSCG' ist topfn pats args = nub $ concatMap scgPat pats where
557 findCalls [] Toplevel (dePat rhs') (patvars lhs')
557 findCalls [] Toplevel (dePat rhs') (patvars lhs')
558 (zip pargs [0..])
558 (zip pargs [0..])
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
560− findCalls cases Delayed ap@(P _ n _) pvs args
562+ findCalls cases Delayed ap@(P _ n _) pvs args = []
562 findCalls cases guarded ap@(App _ f a) pvs pargs
563 findCalls cases guarded ap@(App _ f a) pvs pargs
563 -- under a call to "assert_total", don't do any checking, just believe
564 -- under a call to "assert_total", don't do any checking, just believe
564 -- that it is total.
565 -- that it is total.