diff options
Diffstat (limited to 'testsuite/tests/arityanal/f1.hs')
| -rw-r--r-- | testsuite/tests/arityanal/f1.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/arityanal/f1.hs b/testsuite/tests/arityanal/f1.hs new file mode 100644 index 0000000000..5de291945e --- /dev/null +++ b/testsuite/tests/arityanal/f1.hs @@ -0,0 +1,10 @@ +module F1 where
+
+f1 = let h1 n x = if x<n then let v = h1 n (x+1)
+ in \y -> v (x+y)
+ else \y -> y
+ in h1 5 1 5
+
+g = \x1-> \x2-> \x3-> \x4-> \x5-> x1+x2+x3+x4+x5
+s f = f 3
+h = s g 6 7 8
\ No newline at end of file |