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
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 12, types: 18, coercions: 0, joins: 0/0}
Rec {
f [Occ=LoopBreaker] :: [Int] -> [Int]
[GblId, Arity=1, Str=<B>b, Cpr=b, Unf=OtherCon []]
f = \ (x :: [Int]) -> f x
end Rec }
g [InlPrag=INLINE (sat-args=1)] :: [Int] -> [Int]
[GblId,
Arity=1,
Str=<B>b,
Cpr=b,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=True)
Tmpl= \ (x [Occ=Once1] :: [Int]) -> f x}]
g = \ (x :: [Int]) -> f x
h [InlPrag=INLINE (sat-args=1)] :: [Int] -> [Int]
[GblId,
Arity=1,
Str=<B>b,
Cpr=b,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=True)
Tmpl= \ (x [Occ=Once1] :: [Int]) -> f x}]
h = \ (x :: [Int]) -> f x
|
