Produce KindReps for common kinds in GHC.Types
[ghc.git] / testsuite / tests / roles / should_compile / Roles13.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 98, types: 38, coercions: 5, joins: 0/0}
5
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
11 -- RHS size: {terms: 1, types: 0, coercions: 5, joins: 0/0}
12 convert :: Wrap Age -> Int
13 [GblId, Arity=1, Caf=NoCafRefs]
14 convert
15   = convert1
16     `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
17             :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
18
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
24 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
25 $trModule2 :: GHC.Types.TrName
26 [GblId, Caf=NoCafRefs]
27 $trModule2 = GHC.Types.TrNameS $trModule1
28
29 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
30 $trModule3 :: GHC.Prim.Addr#
31 [GblId, Caf=NoCafRefs]
32 $trModule3 = "Roles13"#
33
34 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
35 $trModule4 :: GHC.Types.TrName
36 [GblId, Caf=NoCafRefs]
37 $trModule4 = GHC.Types.TrNameS $trModule3
38
39 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
40 Roles13.$trModule :: GHC.Types.Module
41 [GblId, Caf=NoCafRefs]
42 Roles13.$trModule = GHC.Types.Module $trModule2 $trModule4
43
44 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
45 $krep :: GHC.Types.KindRep
46 [GblId]
47 $krep
48   = GHC.Types.KindRepTyConApp
49       GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
50
51 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
52 $krep1 :: GHC.Types.KindRep
53 [GblId, Caf=NoCafRefs]
54 $krep1 = GHC.Types.KindRepVar 0#
55
56 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
57 $tcAge1 :: GHC.Prim.Addr#
58 [GblId, Caf=NoCafRefs]
59 $tcAge1 = "Age"#
60
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
66 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
67 Roles13.$tcAge :: GHC.Types.TyCon
68 [GblId]
69 Roles13.$tcAge
70   = GHC.Types.TyCon
71       3456257068627873222##
72       14056710845110756026##
73       Roles13.$trModule
74       $tcAge2
75       0#
76       GHC.Types.krep$*
77
78 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
79 $krep2 :: GHC.Types.KindRep
80 [GblId]
81 $krep2
82   = GHC.Types.KindRepTyConApp
83       Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
84
85 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
86 $krep3 :: GHC.Types.KindRep
87 [GblId]
88 $krep3 = GHC.Types.KindRepFun $krep $krep2
89
90 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
91 $tc'MkAge1 :: GHC.Prim.Addr#
92 [GblId, Caf=NoCafRefs]
93 $tc'MkAge1 = "'MkAge"#
94
95 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
96 $tc'MkAge2 :: GHC.Types.TrName
97 [GblId, Caf=NoCafRefs]
98 $tc'MkAge2 = GHC.Types.TrNameS $tc'MkAge1
99
100 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
101 Roles13.$tc'MkAge :: GHC.Types.TyCon
102 [GblId]
103 Roles13.$tc'MkAge
104   = GHC.Types.TyCon
105       18264039750958872441##
106       1870189534242358050##
107       Roles13.$trModule
108       $tc'MkAge2
109       0#
110       $krep3
111
112 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
113 $tcWrap1 :: GHC.Prim.Addr#
114 [GblId, Caf=NoCafRefs]
115 $tcWrap1 = "Wrap"#
116
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
122 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
123 Roles13.$tcWrap :: GHC.Types.TyCon
124 [GblId]
125 Roles13.$tcWrap
126   = GHC.Types.TyCon
127       13773534096961634492##
128       15591525585626702988##
129       Roles13.$trModule
130       $tcWrap2
131       0#
132       GHC.Types.krep$*Arr*
133
134 -- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
135 $krep4 :: [GHC.Types.KindRep]
136 [GblId, Caf=NoCafRefs]
137 $krep4
138   = GHC.Types.:
139       @ GHC.Types.KindRep $krep1 (GHC.Types.[] @ GHC.Types.KindRep)
140
141 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
142 $krep5 :: GHC.Types.KindRep
143 [GblId]
144 $krep5 = GHC.Types.KindRepTyConApp Roles13.$tcWrap $krep4
145
146 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
147 $krep6 :: GHC.Types.KindRep
148 [GblId]
149 $krep6 = GHC.Types.KindRepFun $krep1 $krep5
150
151 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
152 $tc'MkWrap1 :: GHC.Prim.Addr#
153 [GblId, Caf=NoCafRefs]
154 $tc'MkWrap1 = "'MkWrap"#
155
156 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
157 $tc'MkWrap2 :: GHC.Types.TrName
158 [GblId, Caf=NoCafRefs]
159 $tc'MkWrap2 = GHC.Types.TrNameS $tc'MkWrap1
160
161 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
162 Roles13.$tc'MkWrap :: GHC.Types.TyCon
163 [GblId]
164 Roles13.$tc'MkWrap
165   = GHC.Types.TyCon
166       15580677875333883466##
167       808508687714473149##
168       Roles13.$trModule
169       $tc'MkWrap2
170       1#
171       $krep6
172
173
174