summaryrefslogtreecommitdiff
path: root/testsuite/tests/arityanal/should_compile/Arity04.hs
blob: 3c70acae4ad7e12d44af73cc3ef895bfdebc4ed1 (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