diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/T21888.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/T21888.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/stranal/sigs/T21888.stderr b/testsuite/tests/stranal/sigs/T21888.stderr index 26681355f0..d52d0c7d78 100644 --- a/testsuite/tests/stranal/sigs/T21888.stderr +++ b/testsuite/tests/stranal/sigs/T21888.stderr @@ -1,11 +1,11 @@ ==================== Strictness signatures ==================== Data.MemoTrie.$fHasTrie(): <L> -Data.MemoTrie.$fHasTrie(,): <1C1(L)><LCS(L)><L> +Data.MemoTrie.$fHasTrie(,): <1C(1,L)><LC(S,L)><L> Data.MemoTrie.$fHasTrieBool: <1!P(L,L)> -Data.MemoTrie.$fHasTrieEither: <1C1(L)><1C1(L)><1!P(L,L)> +Data.MemoTrie.$fHasTrieEither: <1C(1,L)><1C(1,L)><1!P(L,L)> Data.MemoTrie.$fHasTrieInteger: <1!P(1!P(S,1!P(1!P(S,1L),1!P(S,1L))),1!P(S,1!P(1!P(S,1L),1!P(S,1L))))>b -Data.MemoTrie.$fHasTrieList: <SCS(L)><1!P(L,L)> +Data.MemoTrie.$fHasTrieList: <SC(S,L)><1!P(L,L)> @@ -21,10 +21,10 @@ Data.MemoTrie.$fHasTrieList: ==================== Strictness signatures ==================== Data.MemoTrie.$fHasTrie(): <L> -Data.MemoTrie.$fHasTrie(,): <1C1(L)><LCS(L)><L> +Data.MemoTrie.$fHasTrie(,): <1C(1,L)><LC(S,L)><L> Data.MemoTrie.$fHasTrieBool: <1!P(L,L)> -Data.MemoTrie.$fHasTrieEither: <1C1(L)><1C1(L)><1!P(L,L)> +Data.MemoTrie.$fHasTrieEither: <1C(1,L)><1C(1,L)><1!P(L,L)> Data.MemoTrie.$fHasTrieInteger: <1!P(1!P(B,1!P(1!P(B,1!P(L,L)),1!P(B,1!P(L,L)))),1!P(B,1!P(1!B,1!B)))>b -Data.MemoTrie.$fHasTrieList: <SCS(L)><1!P(L,L)> +Data.MemoTrie.$fHasTrieList: <SC(S,L)><1!P(L,L)> |