blob: 588337d2417709196ca63123433ada20ed0f1bd1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{-# OPTIONS_GHC -ddump-simpl #-}
module T3772 where
import T3772_A
foo :: Int -> ()
{-# NOINLINE foo #-}
foo n = apply n (id :: [Double] -> [Double])
-- = apply [Double] [Double] d1 d2 (id :: [Double] -> [Double]) =
-- deepSeq d2 (id (gen d1 n)) () = deepSeq d2 (gen d1 n) () = d2 |> co
-- (gen d1 n) () =
-- where d2 :: DeepSeq [Double]
-- d2 = df d3
--
-- d3 :: DeepSeq Double
-- d1 :: C [Double]
-- d1 = df' d3
|
