[commit: ghc] wip/nested-cpr: Add a testcase with an infinite CPR property (99ad23c)

[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/99ad23c953a542e12b81b80027b6a3978b42e0db/ghc

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

commit 99ad23c953a542e12b81b80027b6a3978b42e0db
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Jan 17 09:48:39 2014 +0000

    Add a testcase with an infinite CPR property


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

99ad23c953a542e12b81b80027b6a3978b42e0db
 testsuite/tests/stranal/sigs/InfiniteCPR.hs                  |   10 ++++++++++
 .../tests/stranal/sigs/{T8569.stderr => InfiniteCPR.stderr}  |    2 +-
 testsuite/tests/stranal/sigs/all.T                           |    1 +
 3 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/testsuite/tests/stranal/sigs/InfiniteCPR.hs b/testsuite/tests/stranal/sigs/InfiniteCPR.hs
new file mode 100644
index 0000000..f814792
--- /dev/null
+++ b/testsuite/tests/stranal/sigs/InfiniteCPR.hs
@@ -0,0 +1,10 @@
+module InfiniteCPR where
+
+data Rec1 = Foo Rec2 Rec2
+data Rec2 = Bar Rec1 Rec1
+
+f a =
+    let x = Foo a y
+        y = Bar x x
+    in x
+
diff --git a/testsuite/tests/stranal/sigs/T8569.stderr b/testsuite/tests/stranal/sigs/InfiniteCPR.stderr
similarity index 63%
copy from testsuite/tests/stranal/sigs/T8569.stderr
copy to testsuite/tests/stranal/sigs/InfiniteCPR.stderr
index d33935e..70a3cdf 100644
--- a/testsuite/tests/stranal/sigs/T8569.stderr
+++ b/testsuite/tests/stranal/sigs/InfiniteCPR.stderr
@@ -1,5 +1,5 @@
 
 ==================== Strictness signatures ====================
-T8569.addUp: <S,1*U><L,U>
+InfiniteCPR.f: <L,U>m(,m(tm(,),tm(,)))
 
 
diff --git a/testsuite/tests/stranal/sigs/all.T b/testsuite/tests/stranal/sigs/all.T
index 3e271c5..a59958d 100644
--- a/testsuite/tests/stranal/sigs/all.T
+++ b/testsuite/tests/stranal/sigs/all.T
@@ -14,3 +14,4 @@ test('T8598', normal, compile, [''])
 test('FacState', expect_broken(1600), compile, [''])
 test('UnsatFun', normal, compile, [''])
 test('CaseBinderCPR', normal, compile, [''])
+test('InfiniteCPR', normal, compile, [''])