testsuite/tests/stranal/sigs/DmdAnalGADTs.stderr


1
2
3
4
5
6
7
8
9
10


==================== Strictness signatures ====================
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