Allow top-level string literals in Core (#8472)
[ghc.git] / testsuite / tests / simplCore / should_compile / T7360.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 94, types: 48, coercions: 0}
4
5 -- RHS size: {terms: 6, types: 3, coercions: 0}
6 T7360.$WFoo3 [InlPrag=INLINE] :: Int -> Foo
7 [GblId[DataConWrapper],
8  Arity=1,
9  Caf=NoCafRefs,
10  Str=<S,U>m3,
11  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
12          WorkFree=True, Expandable=True,
13          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
14          Tmpl= \ (dt [Occ=Once!] :: Int) ->
15                  case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }}]
16 T7360.$WFoo3 =
17   \ (dt [Occ=Once!] :: Int) ->
18     case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }
19
20 -- RHS size: {terms: 5, types: 2, coercions: 0}
21 fun1 [InlPrag=NOINLINE] :: Foo -> ()
22 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
23 fun1 = \ (x :: Foo) -> case x of { __DEFAULT -> GHC.Tuple.() }
24
25 -- RHS size: {terms: 2, types: 0, coercions: 0}
26 T7360.fun5 :: ()
27 [GblId,
28  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
29          WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
30 T7360.fun5 = fun1 T7360.Foo1
31
32 -- RHS size: {terms: 2, types: 0, coercions: 0}
33 T7360.fun4 :: Int
34 [GblId,
35  Caf=NoCafRefs,
36  Str=m,
37  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
38          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
39 T7360.fun4 = GHC.Types.I# 0#
40
41 -- RHS size: {terms: 16, types: 13, coercions: 0}
42 fun2 :: forall a. [a] -> ((), Int)
43 [GblId,
44  Arity=1,
45  Str=<L,1*U>m,
46  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
47          WorkFree=True, Expandable=True,
48          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
49          Tmpl= \ (@ a) (x [Occ=Once!] :: [a]) ->
50                  (T7360.fun5,
51                   case x of wild {
52                     [] -> T7360.fun4;
53                     : _ [Occ=Dead] _ [Occ=Dead] ->
54                       case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT ->
55                       GHC.Types.I# ww2
56                       }
57                   })}]
58 fun2 =
59   \ (@ a) (x :: [a]) ->
60     (T7360.fun5,
61      case x of wild {
62        [] -> T7360.fun4;
63        : ds ds1 ->
64          case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT ->
65          GHC.Types.I# ww2
66          }
67      })
68
69 -- RHS size: {terms: 1, types: 0, coercions: 0}
70 T7360.$trModule4 :: GHC.Prim.Addr#
71 [GblId,
72  Caf=NoCafRefs,
73  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
74          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
75 T7360.$trModule4 = "main"#
76
77 -- RHS size: {terms: 2, types: 0, coercions: 0}
78 T7360.$trModule3 :: GHC.Types.TrName
79 [GblId,
80  Caf=NoCafRefs,
81  Str=m1,
82  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
83          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
84 T7360.$trModule3 = GHC.Types.TrNameS T7360.$trModule4
85
86 -- RHS size: {terms: 1, types: 0, coercions: 0}
87 T7360.$trModule2 :: GHC.Prim.Addr#
88 [GblId,
89  Caf=NoCafRefs,
90  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
91          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
92 T7360.$trModule2 = "T7360"#
93
94 -- RHS size: {terms: 2, types: 0, coercions: 0}
95 T7360.$trModule1 :: GHC.Types.TrName
96 [GblId,
97  Caf=NoCafRefs,
98  Str=m1,
99  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
100          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
101 T7360.$trModule1 = GHC.Types.TrNameS T7360.$trModule2
102
103 -- RHS size: {terms: 3, types: 0, coercions: 0}
104 T7360.$trModule :: GHC.Types.Module
105 [GblId,
106  Caf=NoCafRefs,
107  Str=m,
108  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
109          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
110 T7360.$trModule =
111   GHC.Types.Module T7360.$trModule3 T7360.$trModule1
112
113 -- RHS size: {terms: 1, types: 0, coercions: 0}
114 T7360.$tc'Foo9 :: GHC.Prim.Addr#
115 [GblId,
116  Caf=NoCafRefs,
117  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
118          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
119 T7360.$tc'Foo9 = "'Foo3"#
120
121 -- RHS size: {terms: 2, types: 0, coercions: 0}
122 T7360.$tc'Foo8 :: GHC.Types.TrName
123 [GblId,
124  Caf=NoCafRefs,
125  Str=m1,
126  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
127          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
128 T7360.$tc'Foo8 = GHC.Types.TrNameS T7360.$tc'Foo9
129
130 -- RHS size: {terms: 5, types: 0, coercions: 0}
131 T7360.$tc'Foo3 :: GHC.Types.TyCon
132 [GblId,
133  Caf=NoCafRefs,
134  Str=m,
135  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
136          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
137 T7360.$tc'Foo3 =
138   GHC.Types.TyCon
139     10507205234936349519##
140     8302184214013227554##
141     T7360.$trModule
142     T7360.$tc'Foo8
143
144 -- RHS size: {terms: 1, types: 0, coercions: 0}
145 T7360.$tc'Foo7 :: GHC.Prim.Addr#
146 [GblId,
147  Caf=NoCafRefs,
148  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
149          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
150 T7360.$tc'Foo7 = "'Foo2"#
151
152 -- RHS size: {terms: 2, types: 0, coercions: 0}
153 T7360.$tc'Foo6 :: GHC.Types.TrName
154 [GblId,
155  Caf=NoCafRefs,
156  Str=m1,
157  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
158          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
159 T7360.$tc'Foo6 = GHC.Types.TrNameS T7360.$tc'Foo7
160
161 -- RHS size: {terms: 5, types: 0, coercions: 0}
162 T7360.$tc'Foo2 :: GHC.Types.TyCon
163 [GblId,
164  Caf=NoCafRefs,
165  Str=m,
166  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
167          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
168 T7360.$tc'Foo2 =
169   GHC.Types.TyCon
170     9825259700232563546##
171     11056638024476048052##
172     T7360.$trModule
173     T7360.$tc'Foo6
174
175 -- RHS size: {terms: 1, types: 0, coercions: 0}
176 T7360.$tc'Foo5 :: GHC.Prim.Addr#
177 [GblId,
178  Caf=NoCafRefs,
179  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
180          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
181 T7360.$tc'Foo5 = "'Foo1"#
182
183 -- RHS size: {terms: 2, types: 0, coercions: 0}
184 T7360.$tc'Foo4 :: GHC.Types.TrName
185 [GblId,
186  Caf=NoCafRefs,
187  Str=m1,
188  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
189          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
190 T7360.$tc'Foo4 = GHC.Types.TrNameS T7360.$tc'Foo5
191
192 -- RHS size: {terms: 5, types: 0, coercions: 0}
193 T7360.$tc'Foo1 :: GHC.Types.TyCon
194 [GblId,
195  Caf=NoCafRefs,
196  Str=m,
197  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
198          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
199 T7360.$tc'Foo1 =
200   GHC.Types.TyCon
201     2058692068419561651##
202     9152017373001677943##
203     T7360.$trModule
204     T7360.$tc'Foo4
205
206 -- RHS size: {terms: 1, types: 0, coercions: 0}
207 T7360.$tcFoo2 :: GHC.Prim.Addr#
208 [GblId,
209  Caf=NoCafRefs,
210  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
211          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
212 T7360.$tcFoo2 = "Foo"#
213
214 -- RHS size: {terms: 2, types: 0, coercions: 0}
215 T7360.$tcFoo1 :: GHC.Types.TrName
216 [GblId,
217  Caf=NoCafRefs,
218  Str=m1,
219  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
220          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
221 T7360.$tcFoo1 = GHC.Types.TrNameS T7360.$tcFoo2
222
223 -- RHS size: {terms: 5, types: 0, coercions: 0}
224 T7360.$tcFoo :: GHC.Types.TyCon
225 [GblId,
226  Caf=NoCafRefs,
227  Str=m,
228  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
229          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
230 T7360.$tcFoo =
231   GHC.Types.TyCon
232     8358641983981300860##
233     582034888424804490##
234     T7360.$trModule
235     T7360.$tcFoo1
236
237
238