diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/T18957.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/T18957.stderr | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/stranal/sigs/T18957.stderr b/testsuite/tests/stranal/sigs/T18957.stderr index c536410e0a..2beea34dfb 100644 --- a/testsuite/tests/stranal/sigs/T18957.stderr +++ b/testsuite/tests/stranal/sigs/T18957.stderr @@ -1,11 +1,11 @@ ==================== Strictness signatures ==================== T18957.$trModule: -T18957.g: <1C1(U)><SP(U)> -T18957.h1: <MC1(U)><SP(U)> -T18957.h2: <SC1(U)><SP(U)> -T18957.h3: <UCU(P(U))><SP(U)> -T18957.seq': <SA><SU> +T18957.g: <MCM(L)><1P(L)> +T18957.h1: <SCM(L)><1P(L)> +T18957.h2: <1CM(L)><1P(L)> +T18957.h3: <LCL(P(L))><1P(L)> +T18957.seq': <1A><1L> @@ -21,10 +21,10 @@ T18957.seq': ==================== Strictness signatures ==================== T18957.$trModule: -T18957.g: <1C1(U)><SP(U)> -T18957.h1: <MC1(U)><SP(U)> -T18957.h2: <SC1(U)><SP(U)> -T18957.h3: <UCU(P(U))><SP(U)> -T18957.seq': <SA><SU> +T18957.g: <MCM(L)><1P(L)> +T18957.h1: <SCM(L)><1P(L)> +T18957.h2: <1CM(L)><1P(L)> +T18957.h3: <LCL(P(L))><1P(L)> +T18957.seq': <1A><1L> |