blob: b7453934f4448e96dae0cb5f59c51d1e26218c5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
module BottomFromInnerLambda where
expensive :: Int -> Int
expensive 0 = 0
expensive n = expensive n
{-# NOINLINE expensive #-}
-- We could be saying "<1P(1)><A>b"
-- but we are saying "<1P(1)>"
-- We should not be saying "<1P(1)>b"
f :: Int -> Int -> Int
f x = expensive x `seq` (\y -> error (show y))
|
