source: tests/errors/.expect/completeType.nast.x64.txt@ cd6a6ff

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 cd6a6ff was cd6a6ff, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Improved coverage of deterministic_output to be much finer grain.
  • Property mode set to 100644
File size: 6.4 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 DT: data 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 [unbound]:data 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 B with body
32 ... with resolved type:
33 pointer to instance of struct B with body
34
35 ... with resolved type:
36 reference to instance of struct B with body
37 ... to: nothing
38 ... with resolved type:
39 void
40 (types:
41 void
42 )
43 Environment:([unbound]) -> instance of struct B with body (no widening)
44
45
46Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
47 Application of
48 Variable Expression: *?: forall
49 DT: data 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 [unbound]:data 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 A without body
67 ... with resolved type:
68 pointer to instance of struct A without body
69
70 ... with resolved type:
71 reference to instance of struct A without body
72 ... to: nothing
73 ... with resolved type:
74 void
75 (types:
76 void
77 )
78 Environment:([unbound]) -> instance of struct A without 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 T: sized data type
116 ... with assertions
117 ?=?: 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 ?{}: pointer to function
125 ... with parameters
126 reference to instance of type T (not function type)
127 ... returning nothing
128
129 ?{}: pointer to function
130 ... with parameters
131 reference to instance of type T (not function type)
132 instance of type T (not function type)
133 ... returning nothing
134
135 ^?{}: pointer to function
136 ... with parameters
137 reference to instance of type T (not function type)
138 ... returning nothing
139
140
141 function
142 ... with parameters
143 pointer to instance of type T (not function type)
144 ... returning nothing
145
146 ... with resolved type:
147 pointer to forall
148 [unbound]:sized data type
149 ... with assertions
150 ?=?: pointer to function
151 ... with parameters
152 reference to instance of type [unbound] (not function type)
153 instance of type [unbound] (not function type)
154 ... returning
155 instance of type [unbound] (not function type)
156
157 ?{}: pointer to function
158 ... with parameters
159 reference to instance of type [unbound] (not function type)
160 ... returning nothing
161
162 ?{}: pointer to function
163 ... with parameters
164 reference to instance of type [unbound] (not function type)
165 instance of type [unbound] (not function type)
166 ... returning nothing
167
168 ^?{}: pointer to function
169 ... with parameters
170 reference to instance of type [unbound] (not function type)
171 ... returning nothing
172
173
174 function
175 ... with parameters
176 pointer to instance of type [unbound] (not function type)
177 ... returning nothing
178
179 ... to arguments
180 Variable Expression: z: pointer to instance of type T (not function type)
181 ... with resolved type:
182 pointer to instance of type T (not function type)
183 with 1 pending inference slots
184
185 ... with resolved type:
186 void
187 (types:
188 void
189 )
190 Environment:([unbound]) -> instance of type T (not function type) (no widening)
191
192 Could not satisfy assertion:
193?=?: pointer to function
194 ... with parameters
195 reference to instance of type [unbound] (not function type)
196 instance of type [unbound] (not function type)
197 ... returning
198 instance of type [unbound] (not function type)
199
Note: See TracBrowser for help on using the repository browser.