diff options
author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-10-06 17:10:55 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-17 22:02:13 -0400 |
commit | 451455fd008500259f5d2207bdfdccf6dddb52c5 (patch) | |
tree | 210c5ab7d7c4f1b8cb3f37d96679748423284438 /testsuite/tests/arityanal/should_compile/Arity04.hs | |
parent | 6b3eb06af41b7385737fb3a602acdb95a76d2eba (diff) | |
download | haskell-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/Arity04.hs')
-rw-r--r-- | testsuite/tests/arityanal/should_compile/Arity04.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/arityanal/should_compile/Arity04.hs b/testsuite/tests/arityanal/should_compile/Arity04.hs new file mode 100644 index 0000000000..3c70acae4a --- /dev/null +++ b/testsuite/tests/arityanal/should_compile/Arity04.hs @@ -0,0 +1,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 |