diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/BottomFromInnerLambda.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/BottomFromInnerLambda.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/stranal/sigs/BottomFromInnerLambda.stderr b/testsuite/tests/stranal/sigs/BottomFromInnerLambda.stderr index 8784af67b7..953727a119 100644 --- a/testsuite/tests/stranal/sigs/BottomFromInnerLambda.stderr +++ b/testsuite/tests/stranal/sigs/BottomFromInnerLambda.stderr @@ -1,7 +1,7 @@ ==================== Strictness signatures ==================== BottomFromInnerLambda.expensive: <1!P(SL)> -BottomFromInnerLambda.f: <1!S><1!S>b +BottomFromInnerLambda.f: <1!P(S)><1!P(S)>b @@ -13,6 +13,6 @@ BottomFromInnerLambda.f: b ==================== Strictness signatures ==================== BottomFromInnerLambda.expensive: <1!P(1L)> -BottomFromInnerLambda.f: <1!P(1!S)><1!S>b +BottomFromInnerLambda.f: <1!P(1S)><1!P(S)>b |