testsuite/tests/stranal/sigs/T16197b.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29


==================== Strictness signatures ====================
f: <1!P(L)>


==================== Cpr signatures ====================
f: 1


==================== Strictness signatures ====================
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 } }