diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/DmdAnalGADTs.stderr')
-rw-r--r-- | testsuite/tests/stranal/sigs/DmdAnalGADTs.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/stranal/sigs/DmdAnalGADTs.stderr b/testsuite/tests/stranal/sigs/DmdAnalGADTs.stderr index d06e4ca86a..fb898f7e22 100644 --- a/testsuite/tests/stranal/sigs/DmdAnalGADTs.stderr +++ b/testsuite/tests/stranal/sigs/DmdAnalGADTs.stderr @@ -12,3 +12,17 @@ DmdAnalGADTs.hasCPR: m DmdAnalGADTs.hasStrSig: <S,1*U(U)>m + +==================== Strictness signatures ==================== +DmdAnalGADTs.$tc'A: m +DmdAnalGADTs.$tc'B: m +DmdAnalGADTs.$tcD: m +DmdAnalGADTs.$trModule: m +DmdAnalGADTs.diverges: b +DmdAnalGADTs.f: <S,1*U> +DmdAnalGADTs.f': <S,1*U>m +DmdAnalGADTs.g: <S,1*U> +DmdAnalGADTs.hasCPR: m +DmdAnalGADTs.hasStrSig: <S,1*U(U)>m + + |