summaryrefslogtreecommitdiff
path: root/testsuite/tests/arityanal/f4.hs
blob: 29c3e8d4ab5e7d6b783d2d1799ccefef456bfa30 (plain)
1
2
3
4
5
6
7
module F4 where

f4h :: (Int -> Int) -> Int -> Int
f4h f x = if x==0 then (f x)
		 else f4h f (x-1) -- + (f x)
f4g = \y->y+1
f4 = f4h f4g 9