testsuite/tests/arityanal/f13.hs


1
2
3
4
5
6
7
8

module F13 where

f13 x y = let f13f = if (x>0) then \z -> z x y
                                else \z -> y
              f13h = let v = f13f 5
                     in \w -> w + v
          in \u -> f13h u