diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/T16197b.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/T16197b.stderr | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/testsuite/tests/stranal/sigs/T16197b.stderr b/testsuite/tests/stranal/sigs/T16197b.stderr index d4c250b44a..88988c266b 100644 --- a/testsuite/tests/stranal/sigs/T16197b.stderr +++ b/testsuite/tests/stranal/sigs/T16197b.stderr @@ -1,15 +1,29 @@ ==================== Strictness signatures ==================== -T16197b.f: <1!P(L)> +f: <1!P(L)> ==================== Cpr signatures ==================== -T16197b.f: 1 +f: 1 ==================== Strictness signatures ==================== -T16197b.f: <1!P(L)> +f: <1!P(1L)> + + + +==================== Tidy Core ==================== +Result size of Tidy Core + = {terms: 25, types: 23, coercions: 0, joins: 0/0} + +$WT = \ conrep -> case conrep of conrep { __DEFAULT -> T conrep } + +$wf = \ ww -> case ww of ww1 { __DEFAULT -> (# ww1 #) } + +f = \ ds -> + case ds of { T ww -> case $wf ww of { (# ww1 #) -> Box ww1 } } + |