Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / T3717.hs
1 -- This tests whether a supurious `seq` is eliminated
2
3 -- The test output is -ddump-simpl with uniques suppressed,
4 -- so it may wobble a bit and require updating
5
6 module T3717 where
7
8 foo :: Int -> Int
9 foo 0 = 0
10 foo n = (if n < 5 then 1 else 2) `seq` foo (n-1)