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
|
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 76, types: 37, coercions: 0, joins: 0/0}
-- RHS size: {terms: 14, types: 7, coercions: 0, joins: 0/0}
T22375.$fEqX_$c== :: X -> X -> Bool
[GblId,
Arity=2,
Str=<SL><SL>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=True)}]
T22375.$fEqX_$c==
= \ (a :: X) (b :: X) ->
case GHC.Prim.dataToTag# @X a of a# { __DEFAULT ->
case GHC.Prim.dataToTag# @X b of b# { __DEFAULT ->
GHC.Prim.tagToEnum# @Bool (GHC.Prim.==# a# b#)
}
}
-- RHS size: {terms: 18, types: 7, coercions: 0, joins: 0/0}
T22375.$fEqX_$c/= [InlPrag=INLINE (sat-args=2)] :: X -> X -> Bool
[GblId,
Arity=2,
Str=<SL><SL>,
Unf=Unf{Src=StableUser, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)}]
T22375.$fEqX_$c/=
= \ (eta :: X) (eta1 :: X) ->
case GHC.Prim.dataToTag# @X eta of a# { __DEFAULT ->
case GHC.Prim.dataToTag# @X eta1 of b# { __DEFAULT ->
case GHC.Prim.==# a# b# of {
__DEFAULT -> GHC.Types.True;
1# -> GHC.Types.False
}
}
}
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
T22375.$fEqX [InlPrag=CONLIKE] :: Eq X
[GblId[DFunId],
Unf=DFun: \ ->
GHC.Classes.C:Eq TYPE: X T22375.$fEqX_$c== T22375.$fEqX_$c/=]
T22375.$fEqX
= GHC.Classes.C:Eq @X T22375.$fEqX_$c== T22375.$fEqX_$c/=
-- RHS size: {terms: 24, types: 3, coercions: 0, joins: 0/0}
T22375.$wf [InlPrag=[2]] :: X -> GHC.Prim.Int# -> GHC.Prim.Int#
[GblId[StrictWorker([!])],
Arity=2,
Str=<1L><L>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [64 0] 55 0}]
T22375.$wf
= \ (x :: X) (ww :: GHC.Prim.Int#) ->
case x of {
A -> GHC.Prim.+# 1# ww;
B -> GHC.Prim.+# 2# ww;
C -> GHC.Prim.+# 3# ww;
D -> GHC.Prim.+# 4# ww;
E -> GHC.Prim.+# 5# ww
}
-- RHS size: {terms: 12, types: 5, coercions: 0, joins: 0/0}
f [InlPrag=[2]] :: X -> Int -> Int
[GblId,
Arity=2,
Str=<1L><1!P(L)>,
Cpr=1,
Unf=Unf{Src=StableSystem, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False)}]
f = \ (x :: X) (v :: Int) ->
case v of { GHC.Types.I# ww ->
case T22375.$wf x ww of ww1 { __DEFAULT -> GHC.Types.I# ww1 }
}
|
