Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / T5327.hs
1 module T5327 where
2
3 newtype Size = Size Int
4
5 {-# INLINABLE val2 #-}
6 val2 = Size 17
7
8 -- In the core, we should see a comparison against 34#, i.e. constant
9 -- folding should have happened. We actually see it twice: Once in f's
10 -- definition, and once in its unfolding.
11 f n = case val2 of Size s -> s + s > n
12