@@ -526,9 +526,11 @@ buildSCG' ist pats args = nub $ concatMap scgPat pats where
526 findCalls guarded (App f a) pvs pargs
526 findCalls guarded (App f a) pvs pargs
527 = findCalls Unguarded f pvs pargs ++ findCalls Unguarded a pvs pargs
527 = findCalls Unguarded f pvs pargs ++ findCalls Unguarded a pvs pargs
528 findCalls guarded (Bind n (Let t v) e) pvs pargs
528 findCalls guarded (Bind n (Let t v) e) pvs pargs
529+ = findCalls Unguarded t pvs pargs ++
529− = findCalls Unguarded v pvs pargs ++ findCalls guarded e (n : pvs) pargs
530+ findCalls Unguarded v pvs pargs ++ findCalls guarded e (n : pvs) pargs
530− findCalls guarded (Bind n _ e) pvs pargs
531+ findCalls guarded (Bind n t e) pvs pargs
532+ = findCalls Unguarded (binderTy t) pvs pargs ++
531− = findCalls guarded e (n : pvs) pargs
533+ findCalls guarded e (n : pvs) pargs
532 findCalls guarded (P _ f _ ) pvs pargs
534 findCalls guarded (P _ f _ ) pvs pargs
533 | not (f `elem` pvs) = [(f, [])]
535 | not (f `elem` pvs) = [(f, [])]
534 findCalls _ _ _ _ = []
536 findCalls _ _ _ _ = []