source: tests/collections/.expect/string-operator-ERR09.txt@ 7d02d35

stuck-waitfor-destruct
Last change on this file since 7d02d35 was ae0c1c3, checked in by Andrew Beach <ajbeach@…>, 12 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.1 KB
RevLine 
[3f631d6]1collections/string-operator.cfa:277: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 ('a': char)
10 ... with resolved type:
11 char
12 Constant Expression ('b': char)
13 ... with resolved type:
14 char
15
16 Alternatives are:
[ae0c1c3]17Cost ( 0, 0, 1, 0, 0, 1, -2, 0 ): Application of
[3f631d6]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
[3f631d6]22 ... with parameters
[ae0c1c3]23 instance of type ostype (not function type)
[3f631d6]24
25 ... with resolved type:
[ae0c1c3]26 reference to const instance of struct basic_ostream_data with body
[3f631d6]27 ... with parameters
[ae0c1c3]28 instance of type ostype (not function type)
[3f631d6]29
[ae0c1c3]30 function
31 ... with parameters
32 reference to instance of type ostype (not function type)
33 char
34 ... returning
35 reference to instance of type ostype (not function type)
[3f631d6]36
[ae0c1c3]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
[3f631d6]42 ... with parameters
[ae0c1c3]43 instance of type ostype (not function type)
[3f631d6]44
[ae0c1c3]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)
[3f631d6]49
[ae0c1c3]50 function
51 ... with parameters
52 reference to instance of type [unbound] (not function type)
53 char
54 ... returning
55 reference to instance of type [unbound] (not function type)
[3f631d6]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: ?+?: function
[3f631d6]63 ... with parameters
[ae0c1c3]64 char
65 char
[3f631d6]66 ... returning
[ae0c1c3]67 char
[3f631d6]68
69 ... with resolved type:
70 pointer to function
71 ... with parameters
[ae0c1c3]72 char
73 char
[3f631d6]74 ... returning
[ae0c1c3]75 char
[3f631d6]76
[ae0c1c3]77 ... to arguments
78 Constant Expression ('a': char)
[3f631d6]79 ... with resolved type:
[ae0c1c3]80 char
81 Constant Expression ('b': char)
82 ... with resolved type:
83 char
[3f631d6]84
[ae0c1c3]85 ... with resolved type:
86 char
87 with inferred parameters 0:
88 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
89 ... with parameters
90 instance of struct ofstream with body
[3f631d6]91
92
[ae0c1c3]93 ... with resolved type:
94 reference to instance of type [unbound] (not function type)
95 (types:
96 reference to instance of type [unbound] (not function type)
97 )
98 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
[3f631d6]99
100
[ae0c1c3]101Cost ( 0, 0, 1, 0, 0, 1, -2, 0 ): Application of
102 Variable Expression: ?|?: forall
103 instance of type ostype (not function type)
104 with assertions
105 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
[3f631d6]106 ... with parameters
[ae0c1c3]107 instance of type ostype (not function type)
[3f631d6]108
109 ... with resolved type:
[ae0c1c3]110 reference to const instance of struct basic_ostream_data with body
[3f631d6]111 ... with parameters
[ae0c1c3]112 instance of type ostype (not function type)
[3f631d6]113
[ae0c1c3]114 function
115 ... with parameters
116 reference to instance of type ostype (not function type)
117 char
118 ... returning nothing
[3f631d6]119
[ae0c1c3]120 ... with resolved type:
121 pointer to forall
122 instance of type [unbound] (not function type)
123 with assertions
124 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
[3f631d6]125 ... with parameters
[ae0c1c3]126 instance of type ostype (not function type)
[3f631d6]127
[ae0c1c3]128 ... with resolved type:
129 reference to const instance of struct basic_ostream_data with body
130 ... with parameters
131 instance of type [unbound] (not function type)
[3f631d6]132
[ae0c1c3]133 function
134 ... with parameters
135 reference to instance of type [unbound] (not function type)
136 char
137 ... returning nothing
[3f631d6]138
[ae0c1c3]139 ... to arguments
140 Variable Expression: sout: extern reference to instance of struct ofstream with body
141 ... with resolved type:
142 reference to instance of struct ofstream with body
143 Application of
144 Variable Expression: ?+?: function
[3f631d6]145 ... with parameters
[ae0c1c3]146 char
147 char
[3f631d6]148 ... returning
[ae0c1c3]149 char
[3f631d6]150
151 ... with resolved type:
152 pointer to function
153 ... with parameters
[ae0c1c3]154 char
155 char
[3f631d6]156 ... returning
[ae0c1c3]157 char
[3f631d6]158
[ae0c1c3]159 ... to arguments
160 Constant Expression ('a': char)
[3f631d6]161 ... with resolved type:
[ae0c1c3]162 char
163 Constant Expression ('b': char)
164 ... with resolved type:
165 char
[3f631d6]166
[ae0c1c3]167 ... with resolved type:
168 char
169 with inferred parameters 0:
170 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
171 ... with parameters
172 instance of struct ofstream with body
[3f631d6]173
174
[ae0c1c3]175 ... with resolved type:
176 void
177 (types:
178 void
179 )
180 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
[3f631d6]181
182
[ae0c1c3]183Cost ( 0, 0, 1, 0, 0, 1, -2, 0 ): Application of
184 Variable Expression: ?|?: forall
185 instance of type ostype (not function type)
186 with assertions
187 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
[3f631d6]188 ... with parameters
[ae0c1c3]189 instance of type ostype (not function type)
[3f631d6]190
191 ... with resolved type:
[ae0c1c3]192 reference to const instance of struct basic_ostream_data with body
[3f631d6]193 ... with parameters
[ae0c1c3]194 instance of type ostype (not function type)
[3f631d6]195
[ae0c1c3]196 function
197 ... with parameters
198 reference to instance of type ostype (not function type)
199 instance of struct string with body
200 ... returning
201 reference to instance of type ostype (not function type)
[3f631d6]202
[ae0c1c3]203 ... with resolved type:
204 pointer to forall
205 instance of type [unbound] (not function type)
206 with assertions
207 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
[3f631d6]208 ... with parameters
[ae0c1c3]209 instance of type ostype (not function type)
210
211 ... with resolved type:
212 reference to const instance of struct basic_ostream_data with body
213 ... with parameters
214 instance of type [unbound] (not function type)
[3f631d6]215
[ae0c1c3]216 function
[3f631d6]217 ... with parameters
[ae0c1c3]218 reference to instance of type [unbound] (not function type)
219 instance of struct string with body
[3f631d6]220 ... returning
[ae0c1c3]221 reference to instance of type [unbound] (not function type)
[3f631d6]222
[ae0c1c3]223 ... to arguments
224 Variable Expression: sout: extern reference to instance of struct ofstream with body
225 ... with resolved type:
226 reference to instance of struct ofstream with body
227 Application of
228 Variable Expression: ?+?: function
[3f631d6]229 ... with parameters
[ae0c1c3]230 char
231 char
[3f631d6]232 ... returning
[ae0c1c3]233 instance of struct string with body
[3f631d6]234
235 ... with resolved type:
236 pointer to function
237 ... with parameters
[ae0c1c3]238 char
239 char
[3f631d6]240 ... returning
[ae0c1c3]241 instance of struct string with body
[3f631d6]242
[ae0c1c3]243 ... to arguments
244 Constant Expression ('a': char)
[3f631d6]245 ... with resolved type:
[ae0c1c3]246 char
247 Constant Expression ('b': char)
[3f631d6]248 ... with resolved type:
[ae0c1c3]249 char
[3f631d6]250
[ae0c1c3]251 ... with resolved type:
252 instance of struct string with body
253 with inferred parameters 0:
254 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
255 ... with parameters
256 instance of struct ofstream with body
[3f631d6]257
258
[ae0c1c3]259 ... with resolved type:
260 reference to instance of type [unbound] (not function type)
261 (types:
262 reference to instance of type [unbound] (not function type)
263 )
264 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
[3f631d6]265
266
[ae0c1c3]267Cost ( 0, 0, 1, 0, 0, 1, -2, 0 ): Application of
268 Variable Expression: ?|?: forall
269 instance of type ostype (not function type)
270 with assertions
271 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
[3f631d6]272 ... with parameters
[ae0c1c3]273 instance of type ostype (not function type)
[3f631d6]274
275 ... with resolved type:
[ae0c1c3]276 reference to const instance of struct basic_ostream_data with body
[3f631d6]277 ... with parameters
[ae0c1c3]278 instance of type ostype (not function type)
[3f631d6]279
280 function
281 ... with parameters
282 reference to instance of type ostype (not function type)
[ae0c1c3]283 instance of struct string with body
284 ... returning nothing
[3f631d6]285
286 ... with resolved type:
287 pointer to forall
288 instance of type [unbound] (not function type)
289 with assertions
[ae0c1c3]290 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
[3f631d6]291 ... with parameters
[ae0c1c3]292 instance of type ostype (not function type)
[3f631d6]293
294 ... with resolved type:
[ae0c1c3]295 reference to const instance of struct basic_ostream_data with body
[3f631d6]296 ... with parameters
[ae0c1c3]297 instance of type [unbound] (not function type)
[3f631d6]298
[ae0c1c3]299 function
300 ... with parameters
301 reference to instance of type [unbound] (not function type)
302 instance of struct string with body
303 ... returning nothing
[3f631d6]304
305 ... to arguments
306 Variable Expression: sout: extern reference to instance of struct ofstream with body
307 ... with resolved type:
308 reference to instance of struct ofstream with body
309 Application of
310 Variable Expression: ?+?: function
311 ... with parameters
312 char
313 char
314 ... returning
315 instance of struct string with body
316
317 ... with resolved type:
318 pointer to function
319 ... with parameters
320 char
321 char
322 ... returning
323 instance of struct string with body
324
325 ... to arguments
326 Constant Expression ('a': char)
327 ... with resolved type:
328 char
329 Constant Expression ('b': char)
330 ... with resolved type:
331 char
332
333 ... with resolved type:
334 instance of struct string with body
335 with inferred parameters 0:
[ae0c1c3]336 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
[3f631d6]337 ... with parameters
[ae0c1c3]338 instance of struct ofstream with body
[3f631d6]339
340
341 ... with resolved type:
342 void
343 (types:
344 void
345 )
346 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
347
348
349
Note: See TracBrowser for help on using the repository browser.