summaryrefslogtreecommitdiff
path: root/testsuite/tests/arityanal/should_compile/Arity00.hs
diff options
context:
space:
mode:
authorSebastian Graf <sebastian.graf@kit.edu>2020-10-06 17:10:55 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-10-17 22:02:13 -0400
commit451455fd008500259f5d2207bdfdccf6dddb52c5 (patch)
tree210c5ab7d7c4f1b8cb3f37d96679748423284438 /testsuite/tests/arityanal/should_compile/Arity00.hs
parent6b3eb06af41b7385737fb3a602acdb95a76d2eba (diff)
downloadhaskell-451455fd008500259f5d2207bdfdccf6dddb52c5.tar.gz
Testsuite: Add dead arity analysis tests
We didn't seem to test these old tests at all, judging from their expected output.
Diffstat (limited to 'testsuite/tests/arityanal/should_compile/Arity00.hs')
-rw-r--r--testsuite/tests/arityanal/should_compile/Arity00.hs6
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/arityanal/should_compile/Arity00.hs b/testsuite/tests/arityanal/should_compile/Arity00.hs
new file mode 100644
index 0000000000..2499aa6f2c
--- /dev/null
+++ b/testsuite/tests/arityanal/should_compile/Arity00.hs
@@ -0,0 +1,6 @@
+module F0 where
+
+f0 :: Int -> Int -> Int -> Int
+f0 x y = if (x>0) then let v = x + y
+ in \z -> v+z
+ else \z-> 1