blob: 3f1937627f2add1973c790d57f71bfe469fed9a1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
-- T15226
import Control.Exception (evaluate)
-- Just in case Prelude.repeat changes for some reason.
import Prelude hiding (repeat)
import Data.Coerce
-- We want to be sure that the compiler *doesn't* know that
-- all the elements of the list are in WHNF, because if it
-- does, GHC.Core.Op.ConstantFold may erase the seq#'s altogether.
repeat :: a -> [a]
repeat a = res
where res = a : res
{-# NOINLINE repeat #-} -- Belt *and* suspenders
newtype Foo = Foo Int
silly :: [Int] -> IO ()
silly = foldr go (pure ())
where
go x r = do
x' <- (coerce (evaluate :: Foo -> IO Foo) :: Int -> IO Int) x
evaluate (x' + 3) -- GHC should know that x' has been evaluated,
-- so this calculation will be erased entirely.
-- Otherwise, we'll create a thunk to pass to
-- evaluate.
r
main :: IO ()
-- 10,000,000 repetitions take only a twentieth of a second,
-- but allocations go up dramatically if the result is not
-- known evaluated.
main = silly $ take 10000000 $ repeat 1
|
