blob: 955717ef354d2ccccc5b18152bdcaee384fd68d3 (
plain)
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 125, types: 68, coercions: 4, joins: 0/0}
lvl = "error"#
lvl1 = unpackCString# lvl
$trModule4 = "main"#
lvl2 = unpackCString# $trModule4
$trModule2 = "T21128a"#
lvl3 = unpackCString# $trModule2
lvl4 = "./T21128a.hs"#
lvl5 = unpackCString# lvl4
lvl6 = I# 4#
lvl7 = I# 20#
lvl8 = I# 25#
lvl9 = SrcLoc lvl2 lvl3 lvl5 lvl6 lvl7 lvl6 lvl8
lvl10 = PushCallStack lvl1 lvl9 EmptyCallStack
indexError
= \ @a @b $dShow eta eta1 eta2 ->
error
(lvl10 `cast` <Co:4> :: ...)
(++ (show $dShow eta) (++ (show $dShow eta1) (show $dShow eta2)))
$trModule3 = TrNameS $trModule4
$trModule1 = TrNameS $trModule2
$trModule = Module $trModule3 $trModule1
$wlvl
= \ ww ww1 ww2 -> indexError $fShowInt (I# ww2) (I# ww1) (I# ww)
index
= \ l u i ->
case l of { I# x ->
case i of { I# y ->
case <=# x y of {
__DEFAULT -> case u of { I# ww -> $wlvl y ww x };
1# ->
case u of { I# y1 ->
case <# y y1 of {
__DEFAULT -> $wlvl y y1 x;
1# -> I# (-# y x)
}
}
}
}
}
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 108, types: 46, coercions: 0, joins: 3/3}
$trModule4 = "main"#
$trModule3 = TrNameS $trModule4
$trModule2 = "T21128"#
$trModule1 = TrNameS $trModule2
$trModule = Module $trModule3 $trModule1
i = I# 1#
l = I# 0#
lvl = \ x ww -> indexError $fShowInt x (I# ww) i
lvl1 = \ ww -> indexError $fShowInt l (I# ww) l
$wtheresCrud
= \ ww ww1 ->
join {
exit
= case <# 0# ww1 of {
__DEFAULT -> case lvl1 ww1 of wild { };
1# -> 0#
} } in
join {
exit1
= case <=# ww 1# of {
__DEFAULT -> case lvl (I# ww) ww1 of wild { };
1# ->
case <# 1# ww1 of {
__DEFAULT -> case lvl (I# ww) ww1 of wild { };
1# -> -# 1# ww
}
} } in
joinrec {
$wgo ww2
= case ww2 of wild {
__DEFAULT -> jump $wgo (-# wild 1#);
0# -> jump exit;
1# -> jump exit1
}; } in
jump $wgo ww
theresCrud
= \ x y ->
case x of { I# ww ->
case y of { I# ww1 ->
case $wtheresCrud ww ww1 of ww2 { __DEFAULT -> I# ww2 }
}
}
|
