source: tests/errors/.expect/completeType.nast.arm64.txt@ a195d6e

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since a195d6e was a195d6e, checked in by Peter A. Buhr <pabuhr@…>, 5 years ago

update expected output for ARM64
  • Property mode set to 100644
File size: 9.0 KB
Line 
1errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression
2Generated Cast of:
3 Applying untyped:
4 Name: *?
5 ...to:
6 Name: x
7
8... to: nothing
9... with resolved type:
10 void Alternatives are:
11Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
12 Application of
13 Variable Expression: *?: forall
14 instance of type DT (not function type)
15 function
16 ... with parameters
17 pointer to instance of type DT (not function type)
18 ... returning
19 reference to instance of type DT (not function type)
20
21 ... with resolved type:
22 pointer to forall
23 instance of type [unbound] (not function type)
24 function
25 ... with parameters
26 pointer to instance of type [unbound] (not function type)
27 ... returning
28 reference to instance of type [unbound] (not function type)
29
30 ... to arguments
31 Variable Expression: x: pointer to instance of struct A without body
32 ... with resolved type:
33 pointer to instance of struct A without body
34
35 ... with resolved type:
36 reference to instance of struct A without body
37 ... to: nothing
38 ... with resolved type:
39 void
40 (types:
41 void
42 )
43 Environment:([unbound]DT) -> instance of struct A without body (no widening)
44
45
46Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
47 Application of
48 Variable Expression: *?: forall
49 instance of type DT (not function type)
50 function
51 ... with parameters
52 pointer to instance of type DT (not function type)
53 ... returning
54 reference to instance of type DT (not function type)
55
56 ... with resolved type:
57 pointer to forall
58 instance of type [unbound] (not function type)
59 function
60 ... with parameters
61 pointer to instance of type [unbound] (not function type)
62 ... returning
63 reference to instance of type [unbound] (not function type)
64
65 ... to arguments
66 Variable Expression: x: pointer to instance of struct B with body
67 ... with resolved type:
68 pointer to instance of struct B with body
69
70 ... with resolved type:
71 reference to instance of struct B with body
72 ... to: nothing
73 ... with resolved type:
74 void
75 (types:
76 void
77 )
78 Environment:([unbound]DT) -> instance of struct B with body (no widening)
79
80
81
82errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
83 Name: foo
84...to:
85 Name: v
86
87errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
88 Name: baz
89...to:
90 Name: v
91
92errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
93 Name: quux
94...to:
95 Name: v
96
97errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
98 Name: baz
99...to:
100 Name: y
101
102errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
103 Name: quux
104...to:
105 Name: y
106
107errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped:
108 Name: baz
109...to:
110 Name: z
111
112 Unsatisfiable alternative:
113Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
114 Variable Expression: baz: forall
115 instance of type T (not function type)
116 with assertions
117 Variable Expression: ?=?: pointer to function
118 ... with parameters
119 reference to instance of type T (not function type)
120 instance of type T (not function type)
121 ... returning
122 instance of type T (not function type)
123
124 ... with resolved type:
125 pointer to function
126 ... with parameters
127 reference to instance of type T (not function type)
128 instance of type T (not function type)
129 ... returning
130 instance of type T (not function type)
131
132 Variable Expression: ?{}: pointer to function
133 ... with parameters
134 reference to instance of type T (not function type)
135 ... returning nothing
136
137 ... with resolved type:
138 pointer to function
139 ... with parameters
140 reference to instance of type T (not function type)
141 ... returning nothing
142
143 Variable Expression: ?{}: pointer to function
144 ... with parameters
145 reference to instance of type T (not function type)
146 instance of type T (not function type)
147 ... returning nothing
148
149 ... with resolved type:
150 pointer to function
151 ... with parameters
152 reference to instance of type T (not function type)
153 instance of type T (not function type)
154 ... returning nothing
155
156 Variable Expression: ^?{}: pointer to function
157 ... with parameters
158 reference to instance of type T (not function type)
159 ... returning nothing
160
161 ... with resolved type:
162 pointer to function
163 ... with parameters
164 reference to instance of type T (not function type)
165 ... returning nothing
166
167 function
168 ... with parameters
169 pointer to instance of type T (not function type)
170 ... returning nothing
171
172 ... with resolved type:
173 pointer to forall
174 instance of type [unbound] (not function type)
175 with assertions
176 Variable Expression: ?=?: pointer to function
177 ... with parameters
178 reference to instance of type T (not function type)
179 instance of type T (not function type)
180 ... returning
181 instance of type T (not function type)
182
183 ... with resolved type:
184 pointer to function
185 ... with parameters
186 reference to instance of type [unbound] (not function type)
187 instance of type [unbound] (not function type)
188 ... returning
189 instance of type [unbound] (not function type)
190
191 Variable Expression: ?{}: pointer to function
192 ... with parameters
193 reference to instance of type T (not function type)
194 ... returning nothing
195
196 ... with resolved type:
197 pointer to function
198 ... with parameters
199 reference to instance of type [unbound] (not function type)
200 ... returning nothing
201
202 Variable Expression: ?{}: pointer to function
203 ... with parameters
204 reference to instance of type T (not function type)
205 instance of type T (not function type)
206 ... returning nothing
207
208 ... with resolved type:
209 pointer to function
210 ... with parameters
211 reference to instance of type [unbound] (not function type)
212 instance of type [unbound] (not function type)
213 ... returning nothing
214
215 Variable Expression: ^?{}: pointer to function
216 ... with parameters
217 reference to instance of type T (not function type)
218 ... returning nothing
219
220 ... with resolved type:
221 pointer to function
222 ... with parameters
223 reference to instance of type [unbound] (not function type)
224 ... returning nothing
225
226 function
227 ... with parameters
228 pointer to instance of type [unbound] (not function type)
229 ... returning nothing
230
231 ... to arguments
232 Variable Expression: z: pointer to instance of type T (not function type)
233 ... with resolved type:
234 pointer to instance of type T (not function type)
235 with 1 pending inference slots
236
237 ... with resolved type:
238 void
239 (types:
240 void
241 )
242 Environment:([unbound]T) -> instance of type T (not function type) (no widening)
243
244 Could not satisfy assertion:
245Variable Expression: ?=?: pointer to function
246 ... with parameters
247 reference to instance of type T (not function type)
248 instance of type T (not function type)
249 ... returning
250 instance of type T (not function type)
251
252 ... with resolved type:
253 pointer to function
254 ... with parameters
255 reference to instance of type [unbound] (not function type)
256 instance of type [unbound] (not function type)
257 ... returning
258 instance of type [unbound] (not function type)
259
Note: See TracBrowser for help on using the repository browser.