Roles13.stderr 4.61 KB
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2

==================== Tidy Core ====================
lukemaurer's avatar
lukemaurer committed
3
Result size of Tidy Core
4
  = {terms: 98, types: 38, coercions: 5, joins: 0/0}
5

lukemaurer's avatar
lukemaurer committed
6
-- RHS size: {terms: 2, types: 2, coercions: 0, joins: 0/0}
7
convert1 :: Wrap Age -> Wrap Age
8
[GblId, Arity=1, Caf=NoCafRefs]
9
convert1 = \ (ds :: Wrap Age) -> ds
10

lukemaurer's avatar
lukemaurer committed
11
-- RHS size: {terms: 1, types: 0, coercions: 5, joins: 0/0}
12
convert :: Wrap Age -> Int
13
[GblId, Arity=1, Caf=NoCafRefs]
14 15
convert
  = convert1
16
    `cast` (<Wrap Age>_R ->_R Roles13.N:Wrap[0] (Roles13.N:Age[0])
17
            :: (Wrap Age -> Wrap Age :: *) ~R# (Wrap Age -> Int :: *))
18

lukemaurer's avatar
lukemaurer committed
19
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
20
$trModule1 :: GHC.Prim.Addr#
21
[GblId, Caf=NoCafRefs]
22
$trModule1 = "main"#
23

lukemaurer's avatar
lukemaurer committed
24
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
25
$trModule2 :: GHC.Types.TrName
26
[GblId, Caf=NoCafRefs]
27 28
$trModule2 = GHC.Types.TrNameS $trModule1

lukemaurer's avatar
lukemaurer committed
29
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
30 31 32 33
$trModule3 :: GHC.Prim.Addr#
[GblId, Caf=NoCafRefs]
$trModule3 = "Roles13"#

lukemaurer's avatar
lukemaurer committed
34
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
35 36 37
$trModule4 :: GHC.Types.TrName
[GblId, Caf=NoCafRefs]
$trModule4 = GHC.Types.TrNameS $trModule3
38

lukemaurer's avatar
lukemaurer committed
39
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
40
Roles13.$trModule :: GHC.Types.Module
41
[GblId, Caf=NoCafRefs]
42 43
Roles13.$trModule = GHC.Types.Module $trModule2 $trModule4

Ben Gamari's avatar
Ben Gamari committed
44
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
45
$krep :: GHC.Types.KindRep
Ben Gamari's avatar
Ben Gamari committed
46 47 48 49 50 51 52 53
[GblId]
$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.KindRep
[GblId, Caf=NoCafRefs]
54
$krep1 = GHC.Types.KindRepVar 0#
55

lukemaurer's avatar
lukemaurer committed
56
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
57 58 59
$tcAge1 :: GHC.Prim.Addr#
[GblId, Caf=NoCafRefs]
$tcAge1 = "Age"#
60

lukemaurer's avatar
lukemaurer committed
61
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
62
$tcAge2 :: GHC.Types.TrName
63
[GblId, Caf=NoCafRefs]
64
$tcAge2 = GHC.Types.TrNameS $tcAge1
65

Ben Gamari's avatar
Ben Gamari committed
66
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
67
Roles13.$tcAge :: GHC.Types.TyCon
68
[GblId]
69 70 71 72 73 74 75
Roles13.$tcAge
  = GHC.Types.TyCon
      3456257068627873222##
      14056710845110756026##
      Roles13.$trModule
      $tcAge2
      0#
76
      GHC.Types.krep$*
Ben Gamari's avatar
Ben Gamari committed
77 78

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
79 80 81
$krep2 :: GHC.Types.KindRep
[GblId]
$krep2
82 83
  = GHC.Types.KindRepTyConApp
      Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
Ben Gamari's avatar
Ben Gamari committed
84 85

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
86
$krep3 :: GHC.Types.KindRep
Ben Gamari's avatar
Ben Gamari committed
87
[GblId]
88
$krep3 = GHC.Types.KindRepFun $krep $krep2
89

lukemaurer's avatar
lukemaurer committed
90
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
Ben Gamari's avatar
Ben Gamari committed
91
$tc'MkAge1 :: GHC.Prim.Addr#
92
[GblId, Caf=NoCafRefs]
Ben Gamari's avatar
Ben Gamari committed
93
$tc'MkAge1 = "'MkAge"#
94

lukemaurer's avatar
lukemaurer committed
95
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
Ben Gamari's avatar
Ben Gamari committed
96
$tc'MkAge2 :: GHC.Types.TrName
97
[GblId, Caf=NoCafRefs]
Ben Gamari's avatar
Ben Gamari committed
98
$tc'MkAge2 = GHC.Types.TrNameS $tc'MkAge1
99

Ben Gamari's avatar
Ben Gamari committed
100 101 102
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tc'MkAge :: GHC.Types.TyCon
[GblId]
103 104 105 106 107 108 109
Roles13.$tc'MkAge
  = GHC.Types.TyCon
      18264039750958872441##
      1870189534242358050##
      Roles13.$trModule
      $tc'MkAge2
      0#
110
      $krep3
111

lukemaurer's avatar
lukemaurer committed
112
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
113 114 115
$tcWrap1 :: GHC.Prim.Addr#
[GblId, Caf=NoCafRefs]
$tcWrap1 = "Wrap"#
116

lukemaurer's avatar
lukemaurer committed
117
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
118
$tcWrap2 :: GHC.Types.TrName
119
[GblId, Caf=NoCafRefs]
120
$tcWrap2 = GHC.Types.TrNameS $tcWrap1
121

Ben Gamari's avatar
Ben Gamari committed
122
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
123
Roles13.$tcWrap :: GHC.Types.TyCon
124
[GblId]
125 126 127 128 129 130 131
Roles13.$tcWrap
  = GHC.Types.TyCon
      13773534096961634492##
      15591525585626702988##
      Roles13.$trModule
      $tcWrap2
      0#
132
      GHC.Types.krep$*Arr*
Ben Gamari's avatar
Ben Gamari committed
133 134

-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
135
$krep4 :: [GHC.Types.KindRep]
Ben Gamari's avatar
Ben Gamari committed
136
[GblId, Caf=NoCafRefs]
137
$krep4
138
  = GHC.Types.:
139
      @ GHC.Types.KindRep $krep1 (GHC.Types.[] @ GHC.Types.KindRep)
Ben Gamari's avatar
Ben Gamari committed
140 141

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
142 143 144
$krep5 :: GHC.Types.KindRep
[GblId]
$krep5 = GHC.Types.KindRepTyConApp Roles13.$tcWrap $krep4
Ben Gamari's avatar
Ben Gamari committed
145 146

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
147 148 149
$krep6 :: GHC.Types.KindRep
[GblId]
$krep6 = GHC.Types.KindRepFun $krep1 $krep5
Ben Gamari's avatar
Ben Gamari committed
150 151 152 153 154 155 156 157 158 159 160 161 162

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'MkWrap1 :: GHC.Prim.Addr#
[GblId, Caf=NoCafRefs]
$tc'MkWrap1 = "'MkWrap"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'MkWrap2 :: GHC.Types.TrName
[GblId, Caf=NoCafRefs]
$tc'MkWrap2 = GHC.Types.TrNameS $tc'MkWrap1

-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tc'MkWrap :: GHC.Types.TyCon
163
[GblId]
164 165 166 167 168 169 170
Roles13.$tc'MkWrap
  = GHC.Types.TyCon
      15580677875333883466##
      808508687714473149##
      Roles13.$trModule
      $tc'MkWrap2
      1#
171
      $krep6
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
172 173 174