git.iko.soy/Idris-dev
on master help sign in
Look in binders when building size change graph

Fixes #1781

commit8cbdc835bd355d964a259b052d59b8fe6243a0e3 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 10 Dec 2014, 12:33 (12 years ago) parent12c7a1b
1 file changed+5−3
compare with master
unifiedsplit
src/Idris/Coverage.hs+5−3
src/Idris/Coverage.hs+5−3
@@ -526,9 +526,11 @@ buildSCG' ist pats args = nub $ concatMap scgPat pats where
526526 findCalls guarded (App f a) pvs pargs
527527 = findCalls Unguarded f pvs pargs ++ findCalls Unguarded a pvs pargs
528528 findCalls guarded (Bind n (Let t v) e) pvs pargs
529− = findCalls Unguarded v pvs pargs ++ findCalls guarded e (n : pvs) pargs
530− findCalls guarded (Bind n _ e) pvs pargs
531− = findCalls guarded e (n : pvs) pargs
529+ = findCalls Unguarded t pvs pargs ++
530+ findCalls Unguarded v pvs pargs ++ findCalls guarded e (n : pvs) pargs
531+ findCalls guarded (Bind n t e) pvs pargs
532+ = findCalls Unguarded (binderTy t) pvs pargs ++
533+ findCalls guarded e (n : pvs) pargs
532534 findCalls guarded (P _ f _ ) pvs pargs
533535 | not (f `elem` pvs) = [(f, [])]
534536 findCalls _ _ _ _ = []