Context Navigation

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

Visit:

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc

Last change on this file since ea9b9d3 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 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
1	nameExpr is f
2	decl 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
25	newExpr 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
49	alternatives before prune:
50	Cost ( 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	)
98	Environment:
99
100	there are 1 alternatives before elimination
101	there are 1 alternatives after elimination
102	nameExpr is g
103	decl 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
121	newExpr 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
140	alternatives before prune:
141	Cost ( 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	)
179	Environment:
180
181	there are 1 alternatives before elimination
182	there are 1 alternatives after elimination
183	findSubExprs
184	Cost ( 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	)
222	Environment:
223
224	working 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:
274	formal 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
281	actual 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
299	Error: 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.

Download in other formats: