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

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since 2595df1 was 2595df1, checked in by Thierry Delisle <tdelisle@…>, 11 months ago

Now using string print to sort alternatives

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