source: tests/collections/.expect/string-operator-ERR13.txt@ b28ce93

Last change on this file since b28ce93 was ae0c1c3, checked in by Andrew Beach <ajbeach@…>, 8 months ago

Rewrote the iostream traits to have a single assertion each, a table containing function pointers. This is just an experiment right now. It seems that it does cause significant speed up of assertion resolution, but for some reason also seems to add a flat overhead that mostly eats up that saving.
  • Property mode set to 100644
File size: 11.9 KB
Line 
1collections/string-operator.cfa:307:1 error: Cannot choose between 4 alternatives for expression
2Applying untyped:
3 Name: ?|?
4...to:
5 Name: sout
6 Applying untyped:
7 Name: ?*?
8 ...to:
9 Constant Expression (3: signed int)
10 ... with resolved type:
11 signed int
12 Constant Expression ('a': char)
13 ... with resolved type:
14 char
15
16 Alternatives are:
17Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
18 Variable Expression: ?|?: forall
19 instance of type ostype (not function type)
20 with assertions
21 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
22 ... with parameters
23 instance of type ostype (not function type)
24
25 ... with resolved type:
26 reference to const instance of struct basic_ostream_data with body
27 ... with parameters
28 instance of type ostype (not function type)
29
30 function
31 ... with parameters
32 reference to instance of type ostype (not function type)
33 instance of struct string with body
34 ... returning
35 reference to instance of type ostype (not function type)
36
37 ... with resolved type:
38 pointer to forall
39 instance of type [unbound] (not function type)
40 with assertions
41 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
42 ... with parameters
43 instance of type ostype (not function type)
44
45 ... with resolved type:
46 reference to const instance of struct basic_ostream_data with body
47 ... with parameters
48 instance of type [unbound] (not function type)
49
50 function
51 ... with parameters
52 reference to instance of type [unbound] (not function type)
53 instance of struct string with body
54 ... returning
55 reference to instance of type [unbound] (not function type)
56
57 ... to arguments
58 Variable Expression: sout: extern reference to instance of struct ofstream with body
59 ... with resolved type:
60 reference to instance of struct ofstream with body
61 Application of
62 Variable Expression: ?*?: static inline function
63 ... with parameters
64 signed long long int
65 char
66 ... returning
67 instance of struct string with body
68
69 ... with resolved type:
70 pointer to function
71 ... with parameters
72 signed long long int
73 char
74 ... returning
75 instance of struct string with body
76
77 ... to arguments
78 Generated Cast of:
79 Constant Expression (3: signed int)
80 ... with resolved type:
81 signed int
82 ... to:
83 signed long long int
84 ... with resolved type:
85 signed long long int
86 Constant Expression ('a': char)
87 ... with resolved type:
88 char
89
90 ... with resolved type:
91 instance of struct string with body
92 with inferred parameters 0:
93 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
94 ... with parameters
95 instance of struct ofstream with body
96
97
98 ... with resolved type:
99 reference to instance of type [unbound] (not function type)
100 (types:
101 reference to instance of type [unbound] (not function type)
102 )
103 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
104
105
106Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
107 Variable Expression: ?|?: forall
108 instance of type ostype (not function type)
109 with assertions
110 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
111 ... with parameters
112 instance of type ostype (not function type)
113
114 ... with resolved type:
115 reference to const instance of struct basic_ostream_data with body
116 ... with parameters
117 instance of type ostype (not function type)
118
119 function
120 ... with parameters
121 reference to instance of type ostype (not function type)
122 instance of struct string with body
123 ... returning nothing
124
125 ... with resolved type:
126 pointer to forall
127 instance of type [unbound] (not function type)
128 with assertions
129 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
130 ... with parameters
131 instance of type ostype (not function type)
132
133 ... with resolved type:
134 reference to const instance of struct basic_ostream_data with body
135 ... with parameters
136 instance of type [unbound] (not function type)
137
138 function
139 ... with parameters
140 reference to instance of type [unbound] (not function type)
141 instance of struct string with body
142 ... returning nothing
143
144 ... to arguments
145 Variable Expression: sout: extern reference to instance of struct ofstream with body
146 ... with resolved type:
147 reference to instance of struct ofstream with body
148 Application of
149 Variable Expression: ?*?: static inline function
150 ... with parameters
151 signed long long int
152 char
153 ... returning
154 instance of struct string with body
155
156 ... with resolved type:
157 pointer to function
158 ... with parameters
159 signed long long int
160 char
161 ... returning
162 instance of struct string with body
163
164 ... to arguments
165 Generated Cast of:
166 Constant Expression (3: signed int)
167 ... with resolved type:
168 signed int
169 ... to:
170 signed long long int
171 ... with resolved type:
172 signed long long int
173 Constant Expression ('a': char)
174 ... with resolved type:
175 char
176
177 ... with resolved type:
178 instance of struct string with body
179 with inferred parameters 0:
180 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
181 ... with parameters
182 instance of struct ofstream with body
183
184
185 ... with resolved type:
186 void
187 (types:
188 void
189 )
190 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
191
192
193Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
194 Variable Expression: ?|?: forall
195 instance of type ostype (not function type)
196 with assertions
197 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
198 ... with parameters
199 instance of type ostype (not function type)
200
201 ... with resolved type:
202 reference to const instance of struct basic_ostream_data with body
203 ... with parameters
204 instance of type ostype (not function type)
205
206 function
207 ... with parameters
208 reference to instance of type ostype (not function type)
209 signed int
210 ... returning
211 reference to instance of type ostype (not function type)
212
213 ... with resolved type:
214 pointer to forall
215 instance of type [unbound] (not function type)
216 with assertions
217 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
218 ... with parameters
219 instance of type ostype (not function type)
220
221 ... with resolved type:
222 reference to const instance of struct basic_ostream_data with body
223 ... with parameters
224 instance of type [unbound] (not function type)
225
226 function
227 ... with parameters
228 reference to instance of type [unbound] (not function type)
229 signed int
230 ... returning
231 reference to instance of type [unbound] (not function type)
232
233 ... to arguments
234 Variable Expression: sout: extern reference to instance of struct ofstream with body
235 ... with resolved type:
236 reference to instance of struct ofstream with body
237 Application of
238 Variable Expression: ?*?: function
239 ... with parameters
240 signed int
241 signed int
242 ... returning
243 signed int
244
245 ... with resolved type:
246 pointer to function
247 ... with parameters
248 signed int
249 signed int
250 ... returning
251 signed int
252
253 ... to arguments
254 Constant Expression (3: signed int)
255 ... with resolved type:
256 signed int
257 Generated Cast of:
258 Constant Expression ('a': char)
259 ... with resolved type:
260 char
261 ... to:
262 signed int
263 ... with resolved type:
264 signed int
265
266 ... with resolved type:
267 signed int
268 with inferred parameters 0:
269 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
270 ... with parameters
271 instance of struct ofstream with body
272
273
274 ... with resolved type:
275 reference to instance of type [unbound] (not function type)
276 (types:
277 reference to instance of type [unbound] (not function type)
278 )
279 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
280
281
282Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
283 Variable Expression: ?|?: forall
284 instance of type ostype (not function type)
285 with assertions
286 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
287 ... with parameters
288 instance of type ostype (not function type)
289
290 ... with resolved type:
291 reference to const instance of struct basic_ostream_data with body
292 ... with parameters
293 instance of type ostype (not function type)
294
295 function
296 ... with parameters
297 reference to instance of type ostype (not function type)
298 signed int
299 ... returning nothing
300
301 ... with resolved type:
302 pointer to forall
303 instance of type [unbound] (not function type)
304 with assertions
305 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
306 ... with parameters
307 instance of type ostype (not function type)
308
309 ... with resolved type:
310 reference to const instance of struct basic_ostream_data with body
311 ... with parameters
312 instance of type [unbound] (not function type)
313
314 function
315 ... with parameters
316 reference to instance of type [unbound] (not function type)
317 signed int
318 ... returning nothing
319
320 ... to arguments
321 Variable Expression: sout: extern reference to instance of struct ofstream with body
322 ... with resolved type:
323 reference to instance of struct ofstream with body
324 Application of
325 Variable Expression: ?*?: function
326 ... with parameters
327 signed int
328 signed int
329 ... returning
330 signed int
331
332 ... with resolved type:
333 pointer to function
334 ... with parameters
335 signed int
336 signed int
337 ... returning
338 signed int
339
340 ... to arguments
341 Constant Expression (3: signed int)
342 ... with resolved type:
343 signed int
344 Generated Cast of:
345 Constant Expression ('a': char)
346 ... with resolved type:
347 char
348 ... to:
349 signed int
350 ... with resolved type:
351 signed int
352
353 ... with resolved type:
354 signed int
355 with inferred parameters 0:
356 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
357 ... with parameters
358 instance of struct ofstream with body
359
360
361 ... with resolved type:
362 void
363 (types:
364 void
365 )
366 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
367
368
369
Note: See TracBrowser for help on using the repository browser.