Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.hs
1 {-# OPTIONS_GHC -ddump-simpl #-}
2 module T3772 where
3
4 import T3772_A
5
6 foo :: Int -> ()
7 {-# NOINLINE foo #-}
8 foo n = apply n (id :: [Double] -> [Double])
9
10 -- = apply [Double] [Double] d1 d2 (id :: [Double] -> [Double]) =
11 -- deepSeq d2 (id (gen d1 n)) () = deepSeq d2 (gen d1 n) () = d2 |> co
12 -- (gen d1 n) () =
13
14
15 -- where d2 :: DeepSeq [Double]
16 -- d2 = df d3
17 --
18 -- d3 :: DeepSeq Double
19
20 -- d1 :: C [Double]
21 -- d1 = df' d3