Add nested CPR testcase
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Dec 2013 16:35:28 +0000 (16:35 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Dec 2013 17:43:13 +0000 (17:43 +0000)
testsuite/tests/stranal/sigs/FacState.hs [new file with mode: 0644]
testsuite/tests/stranal/sigs/FacState.stderr [new file with mode: 0644]
testsuite/tests/stranal/sigs/all.T

diff --git a/testsuite/tests/stranal/sigs/FacState.hs b/testsuite/tests/stranal/sigs/FacState.hs
new file mode 100644 (file)
index 0000000..470bbd9
--- /dev/null
@@ -0,0 +1,6 @@
+module FacState where
+
+
+fac :: Int -> a ->  (a, Int)
+fac n s | n < 2     = (s,1)
+        | otherwise = case  fac (n-1) s of (s',n') -> let n'' = n*n' in n'' `seq` (s',n'')
diff --git a/testsuite/tests/stranal/sigs/FacState.stderr b/testsuite/tests/stranal/sigs/FacState.stderr
new file mode 100644 (file)
index 0000000..133ad6e
--- /dev/null
@@ -0,0 +1,5 @@
+
+==================== Strictness signatures ====================
+FacState.fac: <S,1*U(U)><L,U>dm1(d,tm1(d))
+
+
index d77cd9e..ca47b52 100644 (file)
@@ -11,4 +11,4 @@ test('StrAnalExample', normal, compile, [''])
 test('T8569', expect_broken(8569), compile, [''])
 test('HyperStrUse', normal, compile, [''])
 test('T8598', normal, compile, [''])
-
+test('FacState', expect_broken(1600), compile, [''])