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

stuck-waitfor-destruct
Last change on this file was ae0c1c3, checked in by Andrew Beach <ajbeach@…>, 10 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
RevLine 
[570e7ad]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:
[ae0c1c3]17Cost ( 0, 0, 1, 2, 0, 1, -2, 0 ): Application of
[570e7ad]18 Variable Expression: ?|?: forall
19 instance of type ostype (not function type)
20 with assertions
[ae0c1c3]21 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
[570e7ad]22 ... with parameters
[ae0c1c3]23 instance of type ostype (not function type)
[570e7ad]24
25 ... with resolved type:
[ae0c1c3]26 reference to const instance of struct basic_ostream_data with body
[570e7ad]27 ... with parameters
[ae0c1c3]28 instance of type ostype (not function type)
[570e7ad]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
[ae0c1c3]41 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
[570e7ad]42 ... with parameters
[ae0c1c3]43 instance of type ostype (not function type)
[570e7ad]44
45 ... with resolved type:
[ae0c1c3]46 reference to const instance of struct basic_ostream_data with body
[570e7ad]47 ... with parameters
[ae0c1c3]48 instance of type [unbound] (not function type)
[570e7ad]49
[ae0c1c3]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)
[570e7ad]56
[ae0c1c3]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
[570e7ad]68
[ae0c1c3]69 ... with resolved type:
70 pointer to function
[570e7ad]71 ... with parameters
[ae0c1c3]72 signed long long int
73 char
[570e7ad]74 ... returning
[ae0c1c3]75 instance of struct string with body
[570e7ad]76
77 ... to arguments
78 Generated Cast of:
79 Constant Expression (3: signed int)
80 ... with resolved type:
[ae0c1c3]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
[570e7ad]89
[ae0c1c3]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
[570e7ad]96
97
[ae0c1c3]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)
[570e7ad]104
105
[ae0c1c3]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
[570e7ad]116 ... with parameters
[ae0c1c3]117 instance of type ostype (not function type)
[570e7ad]118
[ae0c1c3]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
[570e7ad]124
[ae0c1c3]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
[570e7ad]130 ... with parameters
[ae0c1c3]131 instance of type ostype (not function type)
[570e7ad]132
133 ... with resolved type:
[ae0c1c3]134 reference to const instance of struct basic_ostream_data with body
[570e7ad]135 ... with parameters
[ae0c1c3]136 instance of type [unbound] (not function type)
[570e7ad]137
[ae0c1c3]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
[570e7ad]143
[ae0c1c3]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
[570e7ad]155
[ae0c1c3]156 ... with resolved type:
157 pointer to function
[570e7ad]158 ... with parameters
[ae0c1c3]159 signed long long int
160 char
[570e7ad]161 ... returning
[ae0c1c3]162 instance of struct string with body
[570e7ad]163
[ae0c1c3]164 ... to arguments
165 Generated Cast of:
166 Constant Expression (3: signed int)
[570e7ad]167 ... with resolved type:
[ae0c1c3]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
[570e7ad]176
[ae0c1c3]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
[570e7ad]183
184
[ae0c1c3]185 ... with resolved type:
186 void
187 (types:
188 void
189 )
190 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
[570e7ad]191
192
[ae0c1c3]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)
[570e7ad]200
[ae0c1c3]201 ... with resolved type:
202 reference to const instance of struct basic_ostream_data with body
[570e7ad]203 ... with parameters
[ae0c1c3]204 instance of type ostype (not function type)
[570e7ad]205
[ae0c1c3]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)
[570e7ad]212
[ae0c1c3]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
[570e7ad]218 ... with parameters
[ae0c1c3]219 instance of type ostype (not function type)
[570e7ad]220
221 ... with resolved type:
[ae0c1c3]222 reference to const instance of struct basic_ostream_data with body
[570e7ad]223 ... with parameters
[ae0c1c3]224 instance of type [unbound] (not function type)
[570e7ad]225
226 function
227 ... with parameters
228 reference to instance of type [unbound] (not function type)
229 signed int
[ae0c1c3]230 ... returning
231 reference to instance of type [unbound] (not function type)
[570e7ad]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:
[ae0c1c3]269 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
[570e7ad]270 ... with parameters
[ae0c1c3]271 instance of struct ofstream with body
[570e7ad]272
273
[ae0c1c3]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)
[570e7ad]280
281
[ae0c1c3]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)
[570e7ad]289
[ae0c1c3]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)
[570e7ad]294
[ae0c1c3]295 function
[570e7ad]296 ... with parameters
[ae0c1c3]297 reference to instance of type ostype (not function type)
298 signed int
[570e7ad]299 ... returning nothing
300
[ae0c1c3]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)
[570e7ad]308
[ae0c1c3]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)
[570e7ad]313
[ae0c1c3]314 function
315 ... with parameters
316 reference to instance of type [unbound] (not function type)
317 signed int
318 ... returning nothing
[570e7ad]319
[ae0c1c3]320 ... to arguments
321 Variable Expression: sout: extern reference to instance of struct ofstream with body
322 ... with resolved type:
[570e7ad]323 reference to instance of struct ofstream with body
[ae0c1c3]324 Application of
325 Variable Expression: ?*?: function
326 ... with parameters
327 signed int
328 signed int
329 ... returning
330 signed int
[570e7ad]331
[ae0c1c3]332 ... with resolved type:
333 pointer to function
334 ... with parameters
335 signed int
336 signed int
337 ... returning
338 signed int
[570e7ad]339
[ae0c1c3]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
[570e7ad]352
[ae0c1c3]353 ... with resolved type:
[570e7ad]354 signed int
[ae0c1c3]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
[570e7ad]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.