summaryrefslogtreecommitdiff
path: root/testsuite/tests/arityanal/f2.hs
blob: bdc06e45f2a4081e95833803e519a5c5c54fac03 (plain)
1
2
3
4
5
6
7
module F2 where

f2f = \h -> \x -> h x 0 
f2 = let g = \x -> \y -> if (x > 0)
				then g (x-1) (x+y)
				else y
     in f2f g 5