[commit: ghc] wip/nested-cpr: CPR testcase: AnonLambda (8fd9c2e)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/nested-cpr
Link       : http://ghc.haskell.org/trac/ghc/changeset/8fd9c2e636c38f62d8aa53ef8721bbb090f2830c/ghc

>---------------------------------------------------------------

commit 8fd9c2e636c38f62d8aa53ef8721bbb090f2830c
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Tue Jan 21 12:18:08 2014 +0000

    CPR testcase: AnonLambda


>---------------------------------------------------------------

8fd9c2e636c38f62d8aa53ef8721bbb090f2830c
 testsuite/tests/stranal/sigs/AnonLambda.hs                  |   11 +++++++++++
 .../sigs/{InfiniteCPRDepth0.stderr => AnonLambda.stderr}    |    3 ++-
 testsuite/tests/stranal/sigs/all.T                          |    1 +
 3 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/testsuite/tests/stranal/sigs/AnonLambda.hs b/testsuite/tests/stranal/sigs/AnonLambda.hs
new file mode 100644
index 0000000..f79b940
--- /dev/null
+++ b/testsuite/tests/stranal/sigs/AnonLambda.hs
@@ -0,0 +1,11 @@
+module AnonLambda where
+
+g :: Int -> Bool
+{-# NOINLINE g #-}
+g = (==0)
+
+-- This test ensures that the CPR property of the anonymous lambda
+-- Does not escape to f (which has arity 1)
+
+f = \x -> if g x then \y -> x + y + 1
+                 else \y -> x + y + 2
diff --git a/testsuite/tests/stranal/sigs/InfiniteCPRDepth0.stderr b/testsuite/tests/stranal/sigs/AnonLambda.stderr
similarity index 54%
copy from testsuite/tests/stranal/sigs/InfiniteCPRDepth0.stderr
copy to testsuite/tests/stranal/sigs/AnonLambda.stderr
index 63ca4b6..350b61c 100644
--- a/testsuite/tests/stranal/sigs/InfiniteCPRDepth0.stderr
+++ b/testsuite/tests/stranal/sigs/AnonLambda.stderr
@@ -1,5 +1,6 @@
 
 ==================== Strictness signatures ====================
-InfiniteCPR.f: <L,U>
+AnonLambda.f: <S(S),U(U)>
+AnonLambda.g: <S(S),1*U(1*U)>
 
 
diff --git a/testsuite/tests/stranal/sigs/all.T b/testsuite/tests/stranal/sigs/all.T
index f54029a..e81a2ab 100644
--- a/testsuite/tests/stranal/sigs/all.T
+++ b/testsuite/tests/stranal/sigs/all.T
@@ -17,3 +17,4 @@ test('CaseBinderCPR', normal, compile, [''])
 test('InfiniteCPR', normal, compile, [''])
 test('InfiniteCPRDepth0', normal, compile, [''])
 test('InfiniteCPRDepth1', normal, compile, [''])
+test('AnonLambda', normal, compile, [''])