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
126
127
128
129
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 103, types: 65, coercions: 0, joins: 2/5}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T14152.go2 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
T14152.go2 = 0
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T14152.go1 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
T14152.go1 = 1
-- RHS size: {terms: 84, types: 43, coercions: 0, joins: 2/5}
go :: forall t a. (Num a, Num t, Eq a, Eq t) => t -> a -> a
[GblId,
Arity=6,
Caf=NoCafRefs,
Str=<L,U(C(C(1,U)),A,C(C(1,U)),A,A,A,1*C(1,U))><L,U(A,C(C(1,U)),A,A,A,A,C(U))><L,U(C(C(1,U)),A)><S(C(C(S))L),U(C(C(1,U)),A)><L,U><L,U>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=IF_ARGS [150 150 30 60 0 0] 610 0}]
go
= \ (@ t_a2l3)
(@ a_a2i4)
($dNum_a2l7 :: Num a_a2i4)
($dNum1_a2l8 :: Num t_a2l3)
($dEq_a2l9 :: Eq a_a2i4)
($dEq1_a2la :: Eq t_a2l3)
(eta_B2 :: t_a2l3)
(eta1_B1 :: a_a2i4) ->
let {
lvl_s2o6 :: a_a2i4
[LclId]
lvl_s2o6 = fromInteger @ a_a2i4 $dNum_a2l7 T14152.go2 } in
let {
lvl1_s2oH :: t_a2l3
[LclId]
lvl1_s2oH = fromInteger @ t_a2l3 $dNum1_a2l8 T14152.go1 } in
let {
lvl2_s2o4 :: t_a2l3
[LclId]
lvl2_s2o4 = fromInteger @ t_a2l3 $dNum1_a2l8 T14152.go2 } in
joinrec {
go3_s2nB [Occ=LoopBreaker] :: t_a2l3 -> a_a2i4 -> a_a2i4
[LclId[JoinId(2)], Arity=2, Str=<L,U><L,U>, Unf=OtherCon []]
go3_s2nB (ds_d2md :: t_a2l3) (y_atn :: a_a2i4)
= case == @ t_a2l3 $dEq1_a2la ds_d2md lvl2_s2o4 of {
False ->
joinrec {
innerGo_s2nP [Occ=LoopBreaker] :: t_a2l3 -> a_a2i4 -> a_a2i4
[LclId[JoinId(2)], Arity=2, Str=<L,U><L,U>, Unf=OtherCon []]
innerGo_s2nP (ds1_d2mf :: t_a2l3) (y1_ats :: a_a2i4)
= case == @ t_a2l3 $dEq1_a2la ds1_d2mf lvl2_s2o4 of {
False ->
jump innerGo_s2nP
(- @ t_a2l3 $dNum1_a2l8 ds1_d2mf lvl1_s2oH)
(* @ a_a2i4 $dNum_a2l7 y1_ats y1_ats);
True ->
case == @ a_a2i4 $dEq_a2l9 y_atn lvl_s2o6 of {
False ->
jump go3_s2nB
(- @ t_a2l3 $dNum1_a2l8 ds_d2md lvl1_s2oH)
(+ @ a_a2i4 $dNum_a2l7 y1_ats y_atn);
True ->
jump go3_s2nB
(- @ t_a2l3 $dNum1_a2l8 ds_d2md lvl1_s2oH)
(+ @ a_a2i4 $dNum_a2l7 y1_ats (+ @ a_a2i4 $dNum_a2l7 y_atn y_atn))
}
}; } in
jump innerGo_s2nP ds_d2md y_atn;
True -> y_atn
}; } in
jump go3_s2nB eta_B2 eta1_B1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T14152.$trModule4 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
T14152.$trModule4 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T14152.$trModule3 :: GHC.Types.TrName
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
T14152.$trModule3 = GHC.Types.TrNameS T14152.$trModule4
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T14152.$trModule2 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
T14152.$trModule2 = "T14152"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T14152.$trModule1 :: GHC.Types.TrName
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
T14152.$trModule1 = GHC.Types.TrNameS T14152.$trModule2
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
T14152.$trModule :: GHC.Unit.Module
[GblId,
Caf=NoCafRefs,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
T14152.$trModule
= GHC.Unit.Module T14152.$trModule3 T14152.$trModule1
|
