diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-01-23 16:40:10 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-01-23 17:26:44 +0000 |
| commit | 26acb4981d02eb59c72d059cb196c04a7ac945af (patch) | |
| tree | 6866a69f22e88029e3ff844667ce510214e61ada /testsuite/tests/stranal/sigs/UnsatFun.stderr | |
| parent | cabf0b4ef489e064de6db0ba789017d2415aedd2 (diff) | |
| download | haskell-26acb4981d02eb59c72d059cb196c04a7ac945af.tar.gz | |
More demand analyser test cases
catching mistakes that I had during my refactoring, and which I do not
want to do again.
Diffstat (limited to 'testsuite/tests/stranal/sigs/UnsatFun.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/UnsatFun.stderr | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/stranal/sigs/UnsatFun.stderr b/testsuite/tests/stranal/sigs/UnsatFun.stderr index 3d95c44d81..6e6402bacc 100644 --- a/testsuite/tests/stranal/sigs/UnsatFun.stderr +++ b/testsuite/tests/stranal/sigs/UnsatFun.stderr @@ -2,8 +2,10 @@ ==================== Strictness signatures ==================== UnsatFun.f: <B,1*U(U)><B,A>b UnsatFun.g: <B,1*U(U)>b -UnsatFun.g2: <L,1*U(U)> +UnsatFun.g': <L,1*U(U)> +UnsatFun.g3: <L,U(U)>m UnsatFun.h: <C(S),1*C1(U(U))> UnsatFun.h2: <S,1*U><L,1*C1(U(U))> +UnsatFun.h3: <C(S),1*C1(U)>m |