diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/T12370.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/T12370.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/stranal/sigs/T12370.stderr b/testsuite/tests/stranal/sigs/T12370.stderr new file mode 100644 index 0000000000..f8cb839436 --- /dev/null +++ b/testsuite/tests/stranal/sigs/T12370.stderr @@ -0,0 +1,14 @@ + +==================== Strictness signatures ==================== +T12370.$trModule: m +T12370.bar: <S(S),1*U(U)><S(S),1*U(U)>m +T12370.foo: <S(S(S)S(S)),1*U(1*U(U),1*U(U))>m + + + +==================== Strictness signatures ==================== +T12370.$trModule: m +T12370.bar: <S(S),1*U(U)><S(S),1*U(U)>m +T12370.foo: <S(S(S)S(S)),1*U(1*U(U),1*U(U))>m + + |