diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/BottomFromInnerLambda.hs')
-rw-r--r-- | testsuite/tests/stranal/sigs/BottomFromInnerLambda.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/stranal/sigs/BottomFromInnerLambda.hs b/testsuite/tests/stranal/sigs/BottomFromInnerLambda.hs index 8d3b77f832..b7453934f4 100644 --- a/testsuite/tests/stranal/sigs/BottomFromInnerLambda.hs +++ b/testsuite/tests/stranal/sigs/BottomFromInnerLambda.hs @@ -5,8 +5,8 @@ expensive 0 = 0 expensive n = expensive n {-# NOINLINE expensive #-} --- We could be saying "<S(S),1*(U(U))><L,A>b" --- but we are saying "<S(S),1*(U(U))>" --- We should not be saying "<S(S),1*(U(U))>b" +-- 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)) |