blob: e9587245d1d16a9ee8309f3abfca9c7887a216a1 (
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
34
35
36
37
38
39
40
41
|
module UnsatFun where
-- Here we test how a partially applied function (f x)
-- with a bottom result affects the strictness signature
-- when used strictly (g) and lazily (g')
--
-- In both cases, the parameter x should not be absent
f :: Int -> Int -> Int
f x y = error (show x)
{-# NOINLINE f #-}
h :: (Int -> Int) -> Int
h f = f 2
{-# NOINLINE h #-}
h2 :: Bool -> (Int -> Int) -> Int
h2 True _ = 0
h2 False f = f 2
{-# NOINLINE h2 #-}
-- Should get a bottom result
g :: Int -> Int
g x = let f' = f x
in h f'
-- Should not get a bottom result
g' :: Int -> Int
g' x = let f' = f x
in h2 True f'
h3 :: (Int -> Int -> Int) -> Int
h3 f = f 2 `seq` 3
{-# NOINLINE h3 #-}
-- And here we check that the depth of the strictness
-- of h is applied correctly. The lambda is unsaturated
-- and thus x is absent.
g3 :: Int -> Int
g3 x = h3 (\_ _ -> error (show x))
|
