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
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 32, types: 14, coercions: 0, joins: 1/1}
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T22428.f1 :: Integer
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}]
T22428.f1 = GHC.Num.Integer.IS 1#
-- RHS size: {terms: 28, types: 10, coercions: 0, joins: 1/1}
f :: Integer -> Integer -> Integer
[GblId,
Arity=2,
Str=<SL><1L>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [0 0] 156 0}]
f = \ (x :: Integer) (y :: Integer) ->
joinrec {
go [InlPrag=INLINE (sat-args=1), Occ=LoopBreaker, Dmd=SC(S,L)]
:: Integer -> Integer
[LclId[JoinId(1)(Just [!])],
Arity=1,
Str=<1L>,
Unf=Unf{Src=StableUser, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=False)}]
go (ds :: Integer)
= case ds of wild {
GHC.Num.Integer.IS x1 ->
case x1 of {
__DEFAULT -> jump go (GHC.Num.Integer.integerSub wild T22428.f1);
0# -> x
};
GHC.Num.Integer.IP x1 ->
jump go (GHC.Num.Integer.integerSub wild T22428.f1);
GHC.Num.Integer.IN x1 ->
jump go (GHC.Num.Integer.integerSub wild T22428.f1)
}; } in
jump go y
|
