diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-09 16:35:28 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-09 17:43:13 +0000 |
| commit | 9e84e1325d1aa182688f0ab23bb894aca177c4dd (patch) | |
| tree | 0b71c72802ae68ac212c2d28f68bdda13b03f003 /testsuite/tests/stranal/sigs | |
| parent | 5a0eabadc77a3c579f92477750e8448ec4d26878 (diff) | |
| download | haskell-9e84e1325d1aa182688f0ab23bb894aca177c4dd.tar.gz | |
Add nested CPR testcase
Diffstat (limited to 'testsuite/tests/stranal/sigs')
| -rw-r--r-- | testsuite/tests/stranal/sigs/FacState.hs | 6 | ||||
| -rw-r--r-- | testsuite/tests/stranal/sigs/FacState.stderr | 5 | ||||
| -rw-r--r-- | testsuite/tests/stranal/sigs/all.T | 2 |
3 files changed, 12 insertions, 1 deletions
diff --git a/testsuite/tests/stranal/sigs/FacState.hs b/testsuite/tests/stranal/sigs/FacState.hs new file mode 100644 index 0000000000..470bbd9dcb --- /dev/null +++ b/testsuite/tests/stranal/sigs/FacState.hs @@ -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 index 0000000000..133ad6ec26 --- /dev/null +++ b/testsuite/tests/stranal/sigs/FacState.stderr @@ -0,0 +1,5 @@ + +==================== Strictness signatures ==================== +FacState.fac: <S,1*U(U)><L,U>dm1(d,tm1(d)) + + diff --git a/testsuite/tests/stranal/sigs/all.T b/testsuite/tests/stranal/sigs/all.T index d77cd9e236..ca47b529d2 100644 --- a/testsuite/tests/stranal/sigs/all.T +++ b/testsuite/tests/stranal/sigs/all.T @@ -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, ['']) |