blob: f8cbbc251a08eb6eb8b5a1e64e324bc32c207c14 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
module T14137 where
-- The point of this test is that we should inline 'thunk'
-- into j's RHS, and we can do so quite aggressively, even
-- when we aren't optimising. See the ticket.
--
-- It's not a big deal, because in the end FloatIn
-- does the same job, only later
f xs = let thunk = length xs
j = Just thunk
g 0 = j
g n = g (n-1)
in
g 7
|
