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

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since fd4c009 was 3e5dd913, checked in by Fangren Yu <f37yu@…>, 4 years ago

reimplement function type and eliminate deep copy
  • Property mode set to 100644
File size: 9.0 KB
RevLine 
[cb8a18c]1errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression
[7889f14]2Generated Cast of:
3  Applying untyped:
4    Name: *?
5  ...to:
6    Name: x
7
[cd6a6ff]8... to: nothing
9... with resolved type:
10  void Alternatives are:
[7889f14]11Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
[dd857bb]12      Application of
13        Variable Expression: *?: forall
[3e5dd913]14          instance of type DT (not function type)
[dd857bb]15          function
16        ... with parameters
[914844e]17          pointer to instance of type DT (not function type)
[dd857bb]18        ... returning
[914844e]19          reference to instance of type DT (not function type)
[7889f14]20
[cd6a6ff]21        ... with resolved type:
22          pointer to forall
[3e5dd913]23            instance of type [unbound] (not function type)
[cd6a6ff]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
[914844e]30        ... to arguments
[2595df1]31        Variable Expression: x: pointer to instance of struct A without body
[cd6a6ff]32        ... with resolved type:
[2595df1]33          pointer to instance of struct A without body
[7889f14]34
[cd6a6ff]35      ... with resolved type:
[2595df1]36        reference to instance of struct A without body
[dd857bb]37    ... to: nothing
[cd6a6ff]38    ... with resolved type:
39      void
[dd857bb]40  (types:
[914844e]41    void
[dd857bb]42  )
[3e5dd913]43  Environment:([unbound]DT) -> instance of struct A without body (no widening)
[7889f14]44
45
46Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
[dd857bb]47      Application of
48        Variable Expression: *?: forall
[3e5dd913]49          instance of type DT (not function type)
[dd857bb]50          function
51        ... with parameters
[914844e]52          pointer to instance of type DT (not function type)
[dd857bb]53        ... returning
[914844e]54          reference to instance of type DT (not function type)
[7889f14]55
[cd6a6ff]56        ... with resolved type:
57          pointer to forall
[3e5dd913]58            instance of type [unbound] (not function type)
[cd6a6ff]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
[914844e]65        ... to arguments
[2595df1]66        Variable Expression: x: pointer to instance of struct B with body
[cd6a6ff]67        ... with resolved type:
[2595df1]68          pointer to instance of struct B with body
[7889f14]69
[cd6a6ff]70      ... with resolved type:
[2595df1]71        reference to instance of struct B with body
[dd857bb]72    ... to: nothing
[cd6a6ff]73    ... with resolved type:
74      void
[dd857bb]75  (types:
[914844e]76    void
[dd857bb]77  )
[3e5dd913]78  Environment:([unbound]DT) -> instance of struct B with body (no widening)
[7889f14]79
[0f35657]80
[4d5e57b]81
[914844e]82errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
[4d5e57b]83  Name: foo
[07ec1a2]84...to:
[4d5e57b]85  Name: v
[0f35657]86
[914844e]87errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
[2c57025]88  Name: baz
[07ec1a2]89...to:
[2c57025]90  Name: v
91
[914844e]92errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
[2c57025]93  Name: quux
[07ec1a2]94...to:
[2c57025]95  Name: v
96
[914844e]97errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
[7889f14]98  Name: baz
[07ec1a2]99...to:
[2c57025]100  Name: y
101
[914844e]102errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
[7889f14]103  Name: quux
[07ec1a2]104...to:
[0f35657]105  Name: y
106
[cb8a18c]107errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped:
[2c57025]108  Name: baz
[07ec1a2]109...to:
[2c57025]110  Name: z
111
[dd857bb]112      Unsatisfiable alternative:
[3e7c323]113Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
[dd857bb]114            Variable Expression: baz: forall
[3e5dd913]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
[dd857bb]126                ... with parameters
127                  reference to instance of type T (not function type)
128                  instance of type T (not function type)
129                ... returning
[914844e]130                  instance of type T (not function type)
[dd857bb]131
[3e5dd913]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
[dd857bb]139                ... with parameters
140                  reference to instance of type T (not function type)
141                ... returning nothing
142
[3e5dd913]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
[dd857bb]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
[3e5dd913]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
[dd857bb]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
[cd6a6ff]172            ... with resolved type:
173              pointer to forall
[3e5dd913]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
[cd6a6ff]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
[3e5dd913]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
[cd6a6ff]198                  ... with parameters
199                    reference to instance of type [unbound] (not function type)
200                  ... returning nothing
201
[3e5dd913]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
[cd6a6ff]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
[3e5dd913]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
[cd6a6ff]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
[914844e]231            ... to arguments
[dd857bb]232            Variable Expression: z: pointer to instance of type T (not function type)
[cd6a6ff]233            ... with resolved type:
234              pointer to instance of type T (not function type)
[914844e]235          with 1 pending inference slots
[dd857bb]236
[cd6a6ff]237          ... with resolved type:
238            void
[dd857bb]239        (types:
[914844e]240          void
[dd857bb]241        )
[3e5dd913]242        Environment:([unbound]T) -> instance of type T (not function type) (no widening)
[dd857bb]243
244      Could not satisfy assertion:
[3e5dd913]245Variable Expression: ?=?: pointer to function
[dd857bb]246        ... with parameters
[3e5dd913]247          reference to instance of type T (not function type)
248          instance of type T (not function type)
[dd857bb]249        ... returning
[3e5dd913]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)
[c9aba81]259
Note: See TracBrowser for help on using the repository browser.