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
Line 
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:
17Cost ( 0, 0, 1, 0, 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 char
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 char
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: ?+?: function
63 ... with parameters
64 char
65 char
66 ... returning
67 char
68
69 ... with resolved type:
70 pointer to function
71 ... with parameters
72 char
73 char
74 ... returning
75 char
76
77 ... to arguments
78 Constant Expression ('a': char)
79 ... with resolved type:
80 char
81 Constant Expression ('b': char)
82 ... with resolved type:
83 char
84
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
91
92
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)
99
100
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
106 ... with parameters
107 instance of type ostype (not function type)
108
109 ... with resolved type:
110 reference to const instance of struct basic_ostream_data with body
111 ... with parameters
112 instance of type ostype (not function type)
113
114 function
115 ... with parameters
116 reference to instance of type ostype (not function type)
117 char
118 ... returning nothing
119
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
125 ... with parameters
126 instance of type ostype (not function type)
127
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)
132
133 function
134 ... with parameters
135 reference to instance of type [unbound] (not function type)
136 char
137 ... returning nothing
138
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
145 ... with parameters
146 char
147 char
148 ... returning
149 char
150
151 ... with resolved type:
152 pointer to function
153 ... with parameters
154 char
155 char
156 ... returning
157 char
158
159 ... to arguments
160 Constant Expression ('a': char)
161 ... with resolved type:
162 char
163 Constant Expression ('b': char)
164 ... with resolved type:
165 char
166
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
173
174
175 ... with resolved type:
176 void
177 (types:
178 void
179 )
180 Environment:([unbound]ostype) -> instance of struct ofstream with body (no widening)
181
182
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
188 ... with parameters
189 instance of type ostype (not function type)
190
191 ... with resolved type:
192 reference to const instance of struct basic_ostream_data with body
193 ... with parameters
194 instance of type ostype (not function type)
195
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)
202
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
208 ... with parameters
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)
215
216 function
217 ... with parameters
218 reference to instance of type [unbound] (not function type)
219 instance of struct string with body
220 ... returning
221 reference to instance of type [unbound] (not function type)
222
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
229 ... with parameters
230 char
231 char
232 ... returning
233 instance of struct string with body
234
235 ... with resolved type:
236 pointer to function
237 ... with parameters
238 char
239 char
240 ... returning
241 instance of struct string with body
242
243 ... to arguments
244 Constant Expression ('a': char)
245 ... with resolved type:
246 char
247 Constant Expression ('b': char)
248 ... with resolved type:
249 char
250
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
257
258
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)
265
266
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
272 ... with parameters
273 instance of type ostype (not function type)
274
275 ... with resolved type:
276 reference to const instance of struct basic_ostream_data with body
277 ... with parameters
278 instance of type ostype (not function type)
279
280 function
281 ... with parameters
282 reference to instance of type ostype (not function type)
283 instance of struct string with body
284 ... returning nothing
285
286 ... with resolved type:
287 pointer to forall
288 instance of type [unbound] (not function type)
289 with assertions
290 Variable Expression: basic_ostream_table: reference to const instance of struct basic_ostream_data with body
291 ... with parameters
292 instance of type ostype (not function type)
293
294 ... with resolved type:
295 reference to const instance of struct basic_ostream_data with body
296 ... with parameters
297 instance of type [unbound] (not function type)
298
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
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:
336 basic_ostream_table: extern reference to const instance of struct basic_ostream_data with body
337 ... with parameters
338 instance of struct ofstream with body
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.