source: src/Tests/Expect-r/OccursError.txt @ a3e7d34

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since a3e7d34 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs

  • Property mode set to 100644
File size: 8.3 KB
Line 
1nameExpr is f
2decl is f: forall
3    T: type
4      with assertions
5        ?=?: pointer to function
6            with parameters
7              pointer to instance of type T (not function type)
8              instance of type T (not function type)
9            returning
10              instance of type T (not function type)
11
12
13  function
14  with parameters
15    pointer to function
16        with parameters
17          instance of type T (not function type)
18          pointer to instance of type T (not function type)
19        returning
20          nothing
21
22  returning
23    nothing
24
25newExpr is Variable Expression: f: forall
26      T: type
27        with assertions
28          ?=?: pointer to function
29              with parameters
30                pointer to instance of type T (not function type)
31                instance of type T (not function type)
32              returning
33                instance of type T (not function type)
34
35
36    function
37    with parameters
38      pointer to function
39          with parameters
40            instance of type T (not function type)
41            pointer to instance of type T (not function type)
42          returning
43            nothing
44
45    returning
46      nothing
47
48
49alternatives before prune:
50Cost ( 0, 0, 0 ): Variable Expression: f: forall
51      T: type
52        with assertions
53          ?=?: pointer to function
54              with parameters
55                pointer to instance of type T (not function type)
56                instance of type T (not function type)
57              returning
58                instance of type T (not function type)
59
60
61    function
62    with parameters
63      pointer to function
64          with parameters
65            instance of type T (not function type)
66            pointer to instance of type T (not function type)
67          returning
68            nothing
69
70    returning
71      nothing
72
73(types:
74    pointer to forall
75          _0_T: type
76            with assertions
77              ?=?: pointer to function
78                  with parameters
79                    pointer to instance of type _0_T (not function type)
80                    instance of type _0_T (not function type)
81                  returning
82                    instance of type _0_T (not function type)
83
84
85        function
86        with parameters
87          pointer to function
88              with parameters
89                instance of type _0_T (not function type)
90                pointer to instance of type _0_T (not function type)
91              returning
92                nothing
93
94        returning
95          nothing
96
97)
98Environment:
99
100there are 1 alternatives before elimination
101there are 1 alternatives after elimination
102nameExpr is g
103decl is g: forall
104    U: type
105      with assertions
106        ?=?: pointer to function
107            with parameters
108              pointer to instance of type U (not function type)
109              instance of type U (not function type)
110            returning
111              instance of type U (not function type)
112
113
114  function
115  with parameters
116    pointer to instance of type U (not function type)
117    instance of type U (not function type)
118  returning
119    nothing
120
121newExpr is Variable Expression: g: forall
122      U: type
123        with assertions
124          ?=?: pointer to function
125              with parameters
126                pointer to instance of type U (not function type)
127                instance of type U (not function type)
128              returning
129                instance of type U (not function type)
130
131
132    function
133    with parameters
134      pointer to instance of type U (not function type)
135      instance of type U (not function type)
136    returning
137      nothing
138
139
140alternatives before prune:
141Cost ( 0, 0, 0 ): Variable Expression: g: forall
142      U: type
143        with assertions
144          ?=?: pointer to function
145              with parameters
146                pointer to instance of type U (not function type)
147                instance of type U (not function type)
148              returning
149                instance of type U (not function type)
150
151
152    function
153    with parameters
154      pointer to instance of type U (not function type)
155      instance of type U (not function type)
156    returning
157      nothing
158
159(types:
160    pointer to forall
161          _1_U: type
162            with assertions
163              ?=?: pointer to function
164                  with parameters
165                    pointer to instance of type _1_U (not function type)
166                    instance of type _1_U (not function type)
167                  returning
168                    instance of type _1_U (not function type)
169
170
171        function
172        with parameters
173          pointer to instance of type _1_U (not function type)
174          instance of type _1_U (not function type)
175        returning
176          nothing
177
178)
179Environment:
180
181there are 1 alternatives before elimination
182there are 1 alternatives after elimination
183findSubExprs
184Cost ( 0, 0, 0 ): Variable Expression: g: forall
185      U: type
186        with assertions
187          ?=?: pointer to function
188              with parameters
189                pointer to instance of type U (not function type)
190                instance of type U (not function type)
191              returning
192                instance of type U (not function type)
193
194
195    function
196    with parameters
197      pointer to instance of type U (not function type)
198      instance of type U (not function type)
199    returning
200      nothing
201
202(types:
203    pointer to forall
204          _1_U: type
205            with assertions
206              ?=?: pointer to function
207                  with parameters
208                    pointer to instance of type _1_U (not function type)
209                    instance of type _1_U (not function type)
210                  returning
211                    instance of type _1_U (not function type)
212
213
214        function
215        with parameters
216          pointer to instance of type _1_U (not function type)
217          instance of type _1_U (not function type)
218        returning
219          nothing
220
221)
222Environment:
223
224working on alternative:
225        Cost ( 0, 0, 0 ):         Variable Expression: f: forall
226              T: type
227                with assertions
228                  ?=?: pointer to function
229                      with parameters
230                        pointer to instance of type T (not function type)
231                        instance of type T (not function type)
232                      returning
233                        instance of type T (not function type)
234
235
236            function
237            with parameters
238              pointer to function
239                  with parameters
240                    instance of type T (not function type)
241                    pointer to instance of type T (not function type)
242                  returning
243                    nothing
244
245            returning
246              nothing
247
248(types:
249            pointer to forall
250                  _0_T: type
251                    with assertions
252                      ?=?: pointer to function
253                          with parameters
254                            pointer to instance of type _0_T (not function type)
255                            instance of type _0_T (not function type)
256                          returning
257                            instance of type _0_T (not function type)
258
259
260                function
261                with parameters
262                  pointer to function
263                      with parameters
264                        instance of type _0_T (not function type)
265                        pointer to instance of type _0_T (not function type)
266                      returning
267                        nothing
268
269                returning
270                  nothing
271
272)
273        Environment:
274formal type is pointer to function
275  with parameters
276    instance of type _0_T (not function type)
277    pointer to instance of type _0_T (not function type)
278  returning
279    nothing
280
281actual type is pointer to forall
282    _1_U: type
283      with assertions
284        ?=?: pointer to function
285            with parameters
286              pointer to instance of type _1_U (not function type)
287              instance of type _1_U (not function type)
288            returning
289              instance of type _1_U (not function type)
290
291
292  function
293  with parameters
294    pointer to instance of type _1_U (not function type)
295    instance of type _1_U (not function type)
296  returning
297    nothing
298
299Error: No reasonable alternatives for expression Applying untyped:
300    Name: f
301...to:
302    Name: g
303
Note: See TracBrowser for help on using the repository browser.