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
130
131
132
133
134
|
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 166, types: 107, coercions: 0, joins: 0/0}
-- RHS size: {terms: 11, types: 6, coercions: 0, joins: 0/0}
T20663.$WFoo :: Int %1 -> Int %1 -> Foo
T20663.$WFoo = \ (conrep :: Int) (conrep :: Int) -> case conrep of { GHC.Types.I# unbx -> case conrep of { GHC.Types.I# unbx -> T20663.Foo unbx unbx } }
-- RHS size: {terms: 11, types: 6, coercions: 0, joins: 0/0}
T20663.$WGram :: Int %1 -> Int %1 -> Gram
T20663.$WGram = \ (conrep :: Int) (conrep :: Int) -> case conrep of { GHC.Types.I# unbx -> case conrep of { GHC.Types.I# unbx -> T20663.Gram unbx unbx } }
-- RHS size: {terms: 5, types: 6, coercions: 0, joins: 0/0}
T20663.$wyeah :: GHC.Prim.Int# -> GHC.Prim.Int# -> (# GHC.Prim.Int#, GHC.Prim.Int# #)
T20663.$wyeah = \ (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.Int#) -> (# ww, ww1 #)
-- RHS size: {terms: 14, types: 13, coercions: 0, joins: 0/0}
yeah :: Gram -> (Int, Int)
yeah = \ (g :: Gram) -> case g of { Gram ww ww1 -> case T20663.$wyeah ww ww1 of { (# ww2, ww3 #) -> (GHC.Types.I# ww2, GHC.Types.I# ww3) } }
-- RHS size: {terms: 5, types: 6, coercions: 0, joins: 0/0}
T20663.$wbam :: GHC.Prim.Int# -> GHC.Prim.Int# -> (# GHC.Prim.Int#, GHC.Prim.Int# #)
T20663.$wbam = \ (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.Int#) -> (# ww, ww1 #)
-- RHS size: {terms: 14, types: 13, coercions: 0, joins: 0/0}
bam :: Foo -> (Int, Int)
bam = \ (f :: Foo) -> case f of { Foo ww ww1 -> case T20663.$wbam ww ww1 of { (# ww2, ww3 #) -> (GHC.Types.I# ww2, GHC.Types.I# ww3) } }
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T20663.$trModule4 :: GHC.Prim.Addr#
T20663.$trModule4 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T20663.$trModule3 :: GHC.Types.TrName
T20663.$trModule3 = GHC.Types.TrNameS T20663.$trModule4
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T20663.$trModule2 :: GHC.Prim.Addr#
T20663.$trModule2 = "T20663"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T20663.$trModule1 :: GHC.Types.TrName
T20663.$trModule1 = GHC.Types.TrNameS T20663.$trModule2
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
T20663.$trModule :: GHC.Types.Module
T20663.$trModule = GHC.Types.Module T20663.$trModule3 T20663.$trModule1
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$krep :: GHC.Types.KindRep
$krep = GHC.Types.KindRepTyConApp GHC.Types.$tcInt (GHC.Types.[] @GHC.Types.KindRep)
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$krep1 :: GHC.Types.RuntimeRep
$krep1 = GHC.Types.BoxedRep GHC.Types.Unlifted
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T20663.$tcGram1 :: GHC.Types.KindRep
T20663.$tcGram1 = GHC.Types.KindRepTYPE $krep1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T20663.$tcGram3 :: GHC.Prim.Addr#
T20663.$tcGram3 = "Gram"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T20663.$tcGram2 :: GHC.Types.TrName
T20663.$tcGram2 = GHC.Types.TrNameS T20663.$tcGram3
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
T20663.$tcGram :: GHC.Types.TyCon
T20663.$tcGram = GHC.Types.TyCon 14476255489265172493##64 4126058292614824653##64 T20663.$trModule T20663.$tcGram2 0# T20663.$tcGram1
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$krep2 :: GHC.Types.KindRep
$krep2 = GHC.Types.KindRepTyConApp T20663.$tcGram (GHC.Types.[] @GHC.Types.KindRep)
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep3 :: GHC.Types.KindRep
$krep3 = GHC.Types.KindRepFun $krep $krep2
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
T20663.$tc'Gram1 :: GHC.Types.KindRep
T20663.$tc'Gram1 = GHC.Types.KindRepFun $krep $krep3
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T20663.$tc'Gram3 :: GHC.Prim.Addr#
T20663.$tc'Gram3 = "'Gram"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T20663.$tc'Gram2 :: GHC.Types.TrName
T20663.$tc'Gram2 = GHC.Types.TrNameS T20663.$tc'Gram3
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
T20663.$tc'Gram :: GHC.Types.TyCon
T20663.$tc'Gram = GHC.Types.TyCon 6930635511997833813##64 5635348526001679009##64 T20663.$trModule T20663.$tc'Gram2 0# T20663.$tc'Gram1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T20663.$tcFoo2 :: GHC.Prim.Addr#
T20663.$tcFoo2 = "Foo"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T20663.$tcFoo1 :: GHC.Types.TrName
T20663.$tcFoo1 = GHC.Types.TrNameS T20663.$tcFoo2
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
T20663.$tcFoo :: GHC.Types.TyCon
T20663.$tcFoo = GHC.Types.TyCon 4170886864186800403##64 12966498080784616609##64 T20663.$trModule T20663.$tcFoo1 0# GHC.Types.krep$*
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$krep4 :: GHC.Types.KindRep
$krep4 = GHC.Types.KindRepTyConApp T20663.$tcFoo (GHC.Types.[] @GHC.Types.KindRep)
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep5 :: GHC.Types.KindRep
$krep5 = GHC.Types.KindRepFun $krep $krep4
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
T20663.$tc'Foo1 :: GHC.Types.KindRep
T20663.$tc'Foo1 = GHC.Types.KindRepFun $krep $krep5
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
T20663.$tc'Foo3 :: GHC.Prim.Addr#
T20663.$tc'Foo3 = "'Foo"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
T20663.$tc'Foo2 :: GHC.Types.TrName
T20663.$tc'Foo2 = GHC.Types.TrNameS T20663.$tc'Foo3
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
T20663.$tc'Foo :: GHC.Types.TyCon
T20663.$tc'Foo = GHC.Types.TyCon 9844518566125716364##64 9262896337475646272##64 T20663.$trModule T20663.$tc'Foo2 0# T20663.$tc'Foo1
|
