source: tests/errors/.expect/completeType.nast.x86.txt @ 3e5dd913

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since 3e5dd913 was 3e5dd913, checked in by Fangren Yu <f37yu@…>, 10 months ago

reimplement function type and eliminate deep copy

  • 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.