diff options
Diffstat (limited to 'testsuite/tests/arityanal/f2.hs')
| -rw-r--r-- | testsuite/tests/arityanal/f2.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/arityanal/f2.hs b/testsuite/tests/arityanal/f2.hs new file mode 100644 index 0000000000..bdc06e45f2 --- /dev/null +++ b/testsuite/tests/arityanal/f2.hs @@ -0,0 +1,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
\ No newline at end of file |