summaryrefslogtreecommitdiff
path: root/testsuite/tests/arityanal/f2.hs
blob: 39ddae0f0652ef1624dcae67b10c53fd476db6be (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