source: tests/errors/.expect/completeType.oast.x86.txt @ 22a2e69

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 22a2e69 was 22a2e69, checked in by Thierry Delisle <tdelisle@…>, 3 years ago

Fix complete type for x86
  • Property mode set to 100644
File size: 7.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
9with 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          intrinsic pointer to instance of type DT (not function type)
18        ... returning
19          _retval__operator_deref: reference to instance of type DT (not function type)
20          ... with attributes:
21            Attribute with name: unused
22
23
24        with resolved type:
25          pointer to forall
26            [unbound]:data type
27            function
28          ... with parameters
29            intrinsic pointer to instance of type [unbound] (not function type)
30          ... returning
31            _retval__operator_deref: reference to instance of type [unbound] (not function type)
32            ... with attributes:
33              Attribute with name: unused
34
35
36      ... to arguments
37        Variable Expression: x: pointer to instance of struct A with body 0
38        with resolved type:
39          pointer to instance of struct A with body 0
40
41      with resolved type:
42        reference to instance of struct A with body 0
43    ... to: nothing
44    with resolved type:
45      void
46  (types:
47    void
48  )
49  Environment:([unbound]) -> instance of struct A with body 0 (no widening)
50
51
52Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
53      Application of
54        Variable Expression: *?: forall
55          DT: data type
56          function
57        ... with parameters
58          intrinsic pointer to instance of type DT (not function type)
59        ... returning
60          _retval__operator_deref: reference to instance of type DT (not function type)
61          ... with attributes:
62            Attribute with name: unused
63
64
65        with resolved type:
66          pointer to forall
67            [unbound]:data type
68            function
69          ... with parameters
70            intrinsic pointer to instance of type [unbound] (not function type)
71          ... returning
72            _retval__operator_deref: reference to instance of type [unbound] (not function type)
73            ... with attributes:
74              Attribute with name: unused
75
76
77      ... to arguments
78        Variable Expression: x: pointer to instance of struct B with body 1
79        with resolved type:
80          pointer to instance of struct B with body 1
81
82      with resolved type:
83        reference to instance of struct B with body 1
84    ... to: nothing
85    with resolved type:
86      void
87  (types:
88    void
89  )
90  Environment:([unbound]) -> instance of struct B with body 1 (no widening)
91
92
93
94errors/completeType.cfa:35:1 error: No reasonable alternatives for expression Applying untyped:
95  Name: foo
96...to:
97  Name: v
98
99errors/completeType.cfa:36:1 error: No reasonable alternatives for expression Applying untyped:
100  Name: baz
101...to:
102  Name: v
103
104errors/completeType.cfa:37:1 error: No reasonable alternatives for expression Applying untyped:
105  Name: quux
106...to:
107  Name: v
108
109errors/completeType.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
110  Name: baz
111...to:
112  Name: y
113
114errors/completeType.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
115  Name: quux
116...to:
117  Name: y
118
119errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped:
120  Name: baz
121...to:
122  Name: z
123
124      Unsatisfiable alternative:
125Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
126            Variable Expression: baz: forall
127              T: sized data type
128              ... with assertions
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
134                  _retval__operator_assign: instance of type T (not function type)
135                  ... with attributes:
136                    Attribute with name: unused
137
138
139                ?{}: pointer to function
140                ... with parameters
141                  reference to instance of type T (not function type)
142                ... returning nothing
143
144                ?{}: pointer to function
145                ... with parameters
146                  reference to instance of type T (not function type)
147                  instance of type T (not function type)
148                ... returning nothing
149
150                ^?{}: pointer to function
151                ... with parameters
152                  reference to instance of type T (not function type)
153                ... returning nothing
154
155
156              function
157            ... with parameters
158              pointer to instance of type T (not function type)
159            ... returning nothing
160
161            with resolved type:
162              pointer to forall
163                [unbound]:sized data type
164                ... with assertions
165                  ?=?: pointer to function
166                  ... with parameters
167                    reference to instance of type [unbound] (not function type)
168                    instance of type [unbound] (not function type)
169                  ... returning
170                    _retval__operator_assign: instance of type [unbound] (not function type)
171                    ... with attributes:
172                      Attribute with name: unused
173
174
175                  ?{}: pointer to function
176                  ... with parameters
177                    reference to instance of type [unbound] (not function type)
178                  ... returning nothing
179
180                  ?{}: pointer to function
181                  ... with parameters
182                    reference to instance of type [unbound] (not function type)
183                    instance of type [unbound] (not function type)
184                  ... returning nothing
185
186                  ^?{}: pointer to function
187                  ... with parameters
188                    reference to instance of type [unbound] (not function type)
189                  ... returning nothing
190
191
192                function
193              ... with parameters
194                pointer to instance of type [unbound] (not function type)
195              ... returning nothing
196
197          ... to arguments
198            Variable Expression: z: pointer to instance of type T (not function type)
199            with resolved type:
200              pointer to instance of type T (not function type)
201
202          with resolved type:
203            void
204        (types:
205          void
206        )
207        Environment:([unbound]) -> instance of type T (not function type) (no widening)
208
209      Could not satisfy assertion:
210?=?: pointer to function
211        ... with parameters
212          reference to instance of type [unbound] (not function type)
213          instance of type [unbound] (not function type)
214        ... returning
215          _retval__operator_assign: instance of type [unbound] (not function type)
216          ... with attributes:
217            Attribute with name: unused
218
219
Note: See TracBrowser for help on using the repository browser.