Allow top-level string literals in Core (#8472)
[ghc.git] / testsuite / tests / roles / should_compile / Roles13.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 63, types: 26, coercions: 5}
4
5 -- RHS size: {terms: 2, types: 2, coercions: 0}
6 convert1 :: Wrap Age -> Wrap Age
7 [GblId, Arity=1, Caf=NoCafRefs]
8 convert1 = \ (ds :: Wrap Age) -> ds
9
10 -- RHS size: {terms: 1, types: 0, coercions: 5}
11 convert :: Wrap Age -> Int
12 [GblId, Arity=1, Caf=NoCafRefs]
13 convert =
14   convert1
15   `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
16           :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
17
18 -- RHS size: {terms: 1, types: 0, coercions: 0}
19 $trModule1 :: GHC.Prim.Addr#
20 [GblId, Caf=NoCafRefs]
21 $trModule1 = "main"#
22
23 -- RHS size: {terms: 2, types: 0, coercions: 0}
24 $trModule2 :: GHC.Types.TrName
25 [GblId, Caf=NoCafRefs]
26 $trModule2 = GHC.Types.TrNameS $trModule1
27
28 -- RHS size: {terms: 1, types: 0, coercions: 0}
29 $trModule3 :: GHC.Prim.Addr#
30 [GblId, Caf=NoCafRefs]
31 $trModule3 = "Roles13"#
32
33 -- RHS size: {terms: 2, types: 0, coercions: 0}
34 $trModule4 :: GHC.Types.TrName
35 [GblId, Caf=NoCafRefs]
36 $trModule4 = GHC.Types.TrNameS $trModule3
37
38 -- RHS size: {terms: 3, types: 0, coercions: 0}
39 Roles13.$trModule :: GHC.Types.Module
40 [GblId, Caf=NoCafRefs]
41 Roles13.$trModule = GHC.Types.Module $trModule2 $trModule4
42
43 -- RHS size: {terms: 1, types: 0, coercions: 0}
44 $tc'MkAge1 :: GHC.Prim.Addr#
45 [GblId, Caf=NoCafRefs]
46 $tc'MkAge1 = "'MkAge"#
47
48 -- RHS size: {terms: 2, types: 0, coercions: 0}
49 $tc'MkAge2 :: GHC.Types.TrName
50 [GblId, Caf=NoCafRefs]
51 $tc'MkAge2 = GHC.Types.TrNameS $tc'MkAge1
52
53 -- RHS size: {terms: 5, types: 0, coercions: 0}
54 Roles13.$tc'MkAge :: GHC.Types.TyCon
55 [GblId, Caf=NoCafRefs]
56 Roles13.$tc'MkAge =
57   GHC.Types.TyCon
58     1226019810264079099##
59     12180888342844277416##
60     Roles13.$trModule
61     $tc'MkAge2
62
63 -- RHS size: {terms: 1, types: 0, coercions: 0}
64 $tcAge1 :: GHC.Prim.Addr#
65 [GblId, Caf=NoCafRefs]
66 $tcAge1 = "Age"#
67
68 -- RHS size: {terms: 2, types: 0, coercions: 0}
69 $tcAge2 :: GHC.Types.TrName
70 [GblId, Caf=NoCafRefs]
71 $tcAge2 = GHC.Types.TrNameS $tcAge1
72
73 -- RHS size: {terms: 5, types: 0, coercions: 0}
74 Roles13.$tcAge :: GHC.Types.TyCon
75 [GblId, Caf=NoCafRefs]
76 Roles13.$tcAge =
77   GHC.Types.TyCon
78     18304088376370610314##
79     1954648846714895105##
80     Roles13.$trModule
81     $tcAge2
82
83 -- RHS size: {terms: 1, types: 0, coercions: 0}
84 $tc'MkWrap1 :: GHC.Prim.Addr#
85 [GblId, Caf=NoCafRefs]
86 $tc'MkWrap1 = "'MkWrap"#
87
88 -- RHS size: {terms: 2, types: 0, coercions: 0}
89 $tc'MkWrap2 :: GHC.Types.TrName
90 [GblId, Caf=NoCafRefs]
91 $tc'MkWrap2 = GHC.Types.TrNameS $tc'MkWrap1
92
93 -- RHS size: {terms: 5, types: 0, coercions: 0}
94 Roles13.$tc'MkWrap :: GHC.Types.TyCon
95 [GblId, Caf=NoCafRefs]
96 Roles13.$tc'MkWrap =
97   GHC.Types.TyCon
98     12402878715225676312##
99     13345418993613492500##
100     Roles13.$trModule
101     $tc'MkWrap2
102
103 -- RHS size: {terms: 1, types: 0, coercions: 0}
104 $tcWrap1 :: GHC.Prim.Addr#
105 [GblId, Caf=NoCafRefs]
106 $tcWrap1 = "Wrap"#
107
108 -- RHS size: {terms: 2, types: 0, coercions: 0}
109 $tcWrap2 :: GHC.Types.TrName
110 [GblId, Caf=NoCafRefs]
111 $tcWrap2 = GHC.Types.TrNameS $tcWrap1
112
113 -- RHS size: {terms: 5, types: 0, coercions: 0}
114 Roles13.$tcWrap :: GHC.Types.TyCon
115 [GblId, Caf=NoCafRefs]
116 Roles13.$tcWrap =
117   GHC.Types.TyCon
118     5278920226786541118##
119     14554440859491798587##
120     Roles13.$trModule
121     $tcWrap2
122
123
124