Context Navigation

source: src/Tests/Expect-r/Function.txt @ ba407ce

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc

Last change on this file since ba407ce was 68cd1ce, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago
unify and fix storage class
Property mode set to `100644`
File size: 92.9 KB

Line
1	nameExpr is f
2	decl is f: function
3	with parameters
4	float
5	returning
6	float
7
8	newExpr is Variable Expression: f: function
9	with parameters
10	float
11	returning
12	float
13
14
15	decl is f: function
16	with parameters
17	signed int
18	returning
19	signed int
20
21	newExpr is Variable Expression: f: function
22	with parameters
23	signed int
24	returning
25	signed int
26
27
28	alternatives before prune:
29	Cost ( 0, 0, 0 ): Variable Expression: f: function
30	with parameters
31	float
32	returning
33	float
34
35	(types:
36	pointer to function
37	with parameters
38	float
39	returning
40	float
41
42	)
43	Environment:
44
45	Cost ( 0, 0, 0 ): Variable Expression: f: function
46	with parameters
47	signed int
48	returning
49	signed int
50
51	(types:
52	pointer to function
53	with parameters
54	signed int
55	returning
56	signed int
57
58	)
59	Environment:
60
61	there are 2 alternatives before elimination
62	there are 2 alternatives after elimination
63	nameExpr is a
64	decl is a: float
65	newExpr is Variable Expression: a: float
66
67	decl is a: signed int
68	newExpr is Variable Expression: a: signed int
69
70	alternatives before prune:
71	Cost ( 0, 0, 0 ): Variable Expression: a: float
72	(types:
73	lvalue float
74	)
75	Environment:
76
77	Cost ( 0, 0, 0 ): Variable Expression: a: signed int
78	(types:
79	lvalue signed int
80	)
81	Environment:
82
83	there are 2 alternatives before elimination
84	there are 2 alternatives after elimination
85	alternatives before prune:
86	Cost ( 0, 0, 0 ): Cast of:
87	Variable Expression: a: signed int
88
89	to:
90	signed int
91	(types:
92	signed int
93	)
94	Environment:
95
96	there are 1 alternatives before elimination
97	there are 1 alternatives after elimination
98	findSubExprs
99	Cost ( 0, 0, 0 ): Cast of:
100	Variable Expression: a: signed int
101
102	to:
103	signed int
104	(types:
105	signed int
106	)
107	Environment:
108
109	working on alternative:
110	Cost ( 0, 0, 0 ): Variable Expression: f: function
111	with parameters
112	signed int
113	returning
114	signed int
115
116	(types:
117	pointer to function
118	with parameters
119	signed int
120	returning
121	signed int
122
123	)
124	Environment:
125	formal type is signed int
126	actual type is signed int
127	need assertions:
128	============= original indexer
129	===idTable===
130	===typeTable===
131	===structTable===
132	===enumTable===
133	===unionTable===
134	===contextTable===
135	============= new indexer
136	===idTable===
137	===typeTable===
138	===structTable===
139	===enumTable===
140	===unionTable===
141	===contextTable===
142	working on alternative:
143	Cost ( 0, 0, 0 ): Variable Expression: f: function
144	with parameters
145	float
146	returning
147	float
148
149	(types:
150	pointer to function
151	with parameters
152	float
153	returning
154	float
155
156	)
157	Environment:
158	formal type is float
159	actual type is signed int
160	need assertions:
161	============= original indexer
162	===idTable===
163	===typeTable===
164	===structTable===
165	===enumTable===
166	===unionTable===
167	===contextTable===
168	============= new indexer
169	===idTable===
170	===typeTable===
171	===structTable===
172	===enumTable===
173	===unionTable===
174	===contextTable===
175	actual expression:
176	Cast of:
177	Variable Expression: a: signed int
178
179	to:
180	signed int
181	--- results are
182	signed int
183
184	converting signed int
185	to signed int
186	cost is( 0, 0, 0 )
187	Case +++++++++++++
188	formals are:
189	signed int
190	actuals are:
191	Cast of:
192	Variable Expression: a: signed int
193
194	to:
195	signed int
196
197	bindings are:
198	cost of conversion is:( 0, 0, 0 )
199	actual expression:
200	Cast of:
201	Variable Expression: a: signed int
202
203	to:
204	signed int
205	--- results are
206	signed int
207
208	converting signed int
209	to float
210	cost is( 0, 0, 5 )
211	Case +++++++++++++
212	formals are:
213	float
214	actuals are:
215	Cast of:
216	Cast of:
217	Variable Expression: a: signed int
218
219	to:
220	signed int
221
222	to:
223	float
224
225	bindings are:
226	cost of conversion is:( 0, 0, 5 )
227	alternatives before prune:
228	Cost ( 0, 0, 0 ): Application of
229	Variable Expression: f: function
230	with parameters
231	signed int
232	returning
233	signed int
234
235	to arguments
236	Cast of:
237	Variable Expression: a: signed int
238
239	to:
240	signed int
241
242	(types:
243	signed int
244	)
245	Environment:
246
247	Cost ( 0, 0, 5 ): Application of
248	Variable Expression: f: function
249	with parameters
250	float
251	returning
252	float
253
254	to arguments
255	Cast of:
256	Cast of:
257	Variable Expression: a: signed int
258
259	to:
260	signed int
261
262	to:
263	float
264
265	(types:
266	float
267	)
268	Environment:
269
270	there are 2 alternatives before elimination
271	there are 2 alternatives after elimination
272	alternatives before prune:
273	Cost ( 0, 0, 1 ): Cast of:
274	Application of
275	Variable Expression: f: function
276	with parameters
277	signed int
278	returning
279	signed int
280
281	to arguments
282	Cast of:
283	Variable Expression: a: signed int
284
285	to:
286	signed int
287
288
289	to:
290	nothing
291	(types:
292	)
293	Environment:
294
295	there are 1 alternatives before elimination
296	there are 1 alternatives after elimination
297	nameExpr is f
298	decl is f: function
299	with parameters
300	float
301	returning
302	float
303
304	newExpr is Variable Expression: f: function
305	with parameters
306	float
307	returning
308	float
309
310
311	decl is f: function
312	with parameters
313	signed int
314	returning
315	signed int
316
317	newExpr is Variable Expression: f: function
318	with parameters
319	signed int
320	returning
321	signed int
322
323
324	alternatives before prune:
325	Cost ( 0, 0, 0 ): Variable Expression: f: function
326	with parameters
327	float
328	returning
329	float
330
331	(types:
332	pointer to function
333	with parameters
334	float
335	returning
336	float
337
338	)
339	Environment:
340
341	Cost ( 0, 0, 0 ): Variable Expression: f: function
342	with parameters
343	signed int
344	returning
345	signed int
346
347	(types:
348	pointer to function
349	with parameters
350	signed int
351	returning
352	signed int
353
354	)
355	Environment:
356
357	there are 2 alternatives before elimination
358	there are 2 alternatives after elimination
359	nameExpr is a
360	decl is a: float
361	newExpr is Variable Expression: a: float
362
363	decl is a: signed int
364	newExpr is Variable Expression: a: signed int
365
366	alternatives before prune:
367	Cost ( 0, 0, 0 ): Variable Expression: a: float
368	(types:
369	lvalue float
370	)
371	Environment:
372
373	Cost ( 0, 0, 0 ): Variable Expression: a: signed int
374	(types:
375	lvalue signed int
376	)
377	Environment:
378
379	there are 2 alternatives before elimination
380	there are 2 alternatives after elimination
381	findSubExprs
382	Cost ( 0, 0, 0 ): Variable Expression: a: signed int
383	(types:
384	lvalue signed int
385	)
386	Environment:
387
388	Cost ( 0, 0, 0 ): Variable Expression: a: float
389	(types:
390	lvalue float
391	)
392	Environment:
393
394	working on alternative:
395	Cost ( 0, 0, 0 ): Variable Expression: f: function
396	with parameters
397	signed int
398	returning
399	signed int
400
401	(types:
402	pointer to function
403	with parameters
404	signed int
405	returning
406	signed int
407
408	)
409	Environment:
410	formal type is signed int
411	actual type is lvalue signed int
412	need assertions:
413	============= original indexer
414	===idTable===
415	===typeTable===
416	===structTable===
417	===enumTable===
418	===unionTable===
419	===contextTable===
420	============= new indexer
421	===idTable===
422	===typeTable===
423	===structTable===
424	===enumTable===
425	===unionTable===
426	===contextTable===
427	formal type is signed int
428	actual type is lvalue float
429	need assertions:
430	============= original indexer
431	===idTable===
432	===typeTable===
433	===structTable===
434	===enumTable===
435	===unionTable===
436	===contextTable===
437	============= new indexer
438	===idTable===
439	===typeTable===
440	===structTable===
441	===enumTable===
442	===unionTable===
443	===contextTable===
444	working on alternative:
445	Cost ( 0, 0, 0 ): Variable Expression: f: function
446	with parameters
447	float
448	returning
449	float
450
451	(types:
452	pointer to function
453	with parameters
454	float
455	returning
456	float
457
458	)
459	Environment:
460	formal type is float
461	actual type is lvalue signed int
462	need assertions:
463	============= original indexer
464	===idTable===
465	===typeTable===
466	===structTable===
467	===enumTable===
468	===unionTable===
469	===contextTable===
470	============= new indexer
471	===idTable===
472	===typeTable===
473	===structTable===
474	===enumTable===
475	===unionTable===
476	===contextTable===
477	formal type is float
478	actual type is lvalue float
479	need assertions:
480	============= original indexer
481	===idTable===
482	===typeTable===
483	===structTable===
484	===enumTable===
485	===unionTable===
486	===contextTable===
487	============= new indexer
488	===idTable===
489	===typeTable===
490	===structTable===
491	===enumTable===
492	===unionTable===
493	===contextTable===
494	actual expression:
495	Variable Expression: a: signed int
496	--- results are
497	lvalue signed int
498
499	converting lvalue signed int
500	to signed int
501	cost is( 0, 0, 0 )
502	Case +++++++++++++
503	formals are:
504	signed int
505	actuals are:
506	Variable Expression: a: signed int
507
508	bindings are:
509	cost of conversion is:( 0, 0, 0 )
510	actual expression:
511	Variable Expression: a: float
512	--- results are
513	lvalue float
514
515	converting lvalue float
516	to signed int
517	cost is( 1, 0, 0 )
518	Case +++++++++++++
519	formals are:
520	signed int
521	actuals are:
522	Cast of:
523	Variable Expression: a: float
524
525	to:
526	signed int
527
528	bindings are:
529	cost of conversion is:( 1, 0, 0 )
530	actual expression:
531	Variable Expression: a: signed int
532	--- results are
533	lvalue signed int
534
535	converting lvalue signed int
536	to float
537	cost is( 0, 0, 5 )
538	Case +++++++++++++
539	formals are:
540	float
541	actuals are:
542	Cast of:
543	Variable Expression: a: signed int
544
545	to:
546	float
547
548	bindings are:
549	cost of conversion is:( 0, 0, 5 )
550	actual expression:
551	Variable Expression: a: float
552	--- results are
553	lvalue float
554
555	converting lvalue float
556	to float
557	cost is( 0, 0, 0 )
558	Case +++++++++++++
559	formals are:
560	float
561	actuals are:
562	Variable Expression: a: float
563
564	bindings are:
565	cost of conversion is:( 0, 0, 0 )
566	alternatives before prune:
567	Cost ( 0, 0, 0 ): Application of
568	Variable Expression: f: function
569	with parameters
570	signed int
571	returning
572	signed int
573
574	to arguments
575	Variable Expression: a: signed int
576
577	(types:
578	signed int
579	)
580	Environment:
581
582	Cost ( 1, 0, 0 ): Application of
583	Variable Expression: f: function
584	with parameters
585	signed int
586	returning
587	signed int
588
589	to arguments
590	Cast of:
591	Variable Expression: a: float
592
593	to:
594	signed int
595
596	(types:
597	signed int
598	)
599	Environment:
600
601	Cost ( 0, 0, 5 ): Application of
602	Variable Expression: f: function
603	with parameters
604	float
605	returning
606	float
607
608	to arguments
609	Cast of:
610	Variable Expression: a: signed int
611
612	to:
613	float
614
615	(types:
616	float
617	)
618	Environment:
619
620	Cost ( 0, 0, 0 ): Application of
621	Variable Expression: f: function
622	with parameters
623	float
624	returning
625	float
626
627	to arguments
628	Variable Expression: a: float
629
630	(types:
631	float
632	)
633	Environment:
634
635	cost ( 0, 0, 0 ) beats ( 0, 0, 5 )
636	there are 2 alternatives before elimination
637	there are 2 alternatives after elimination
638	alternatives before prune:
639	Cost ( 0, 0, 0 ): Cast of:
640	Application of
641	Variable Expression: f: function
642	with parameters
643	signed int
644	returning
645	signed int
646
647	to arguments
648	Variable Expression: a: signed int
649
650
651	to:
652	signed int
653	(types:
654	signed int
655	)
656	Environment:
657
658	there are 1 alternatives before elimination
659	there are 1 alternatives after elimination
660	alternatives before prune:
661	Cost ( 0, 0, 1 ): Cast of:
662	Cast of:
663	Application of
664	Variable Expression: f: function
665	with parameters
666	signed int
667	returning
668	signed int
669
670	to arguments
671	Variable Expression: a: signed int
672
673
674	to:
675	signed int
676
677	to:
678	nothing
679	(types:
680	)
681	Environment:
682
683	there are 1 alternatives before elimination
684	there are 1 alternatives after elimination
685	nameExpr is r
686	decl is r: function
687	with parameters
688	signed int
689	signed int
690	signed int
691	signed int
692	returning
693	signed int
694	signed int
695
696	newExpr is Variable Expression: r: function
697	with parameters
698	signed int
699	signed int
700	signed int
701	signed int
702	returning
703	signed int
704	signed int
705
706
707	alternatives before prune:
708	Cost ( 0, 0, 0 ): Variable Expression: r: function
709	with parameters
710	signed int
711	signed int
712	signed int
713	signed int
714	returning
715	signed int
716	signed int
717
718	(types:
719	pointer to function
720	with parameters
721	signed int
722	signed int
723	signed int
724	signed int
725	returning
726	signed int
727	signed int
728
729	)
730	Environment:
731
732	there are 1 alternatives before elimination
733	there are 1 alternatives after elimination
734	nameExpr is p
735	decl is p: tuple of types
736	signed int
737
738	newExpr is Variable Expression: p: tuple of types
739	signed int
740
741
742	decl is p: tuple of types
743	signed int
744	double
745
746	newExpr is Variable Expression: p: tuple of types
747	signed int
748	double
749
750
751	decl is p: tuple of types
752	signed int
753	signed int
754	signed int
755
756	newExpr is Variable Expression: p: tuple of types
757	signed int
758	signed int
759	signed int
760
761
762	decl is p: tuple of types
763	signed int
764	signed int
765	signed int
766	signed int
767
768	newExpr is Variable Expression: p: tuple of types
769	signed int
770	signed int
771	signed int
772	signed int
773
774
775	alternatives before prune:
776	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
777	signed int
778
779	(types:
780	lvalue signed int
781	)
782	Environment:
783
784	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
785	signed int
786	double
787
788	(types:
789	lvalue signed int
790	lvalue double
791	)
792	Environment:
793
794	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
795	signed int
796	signed int
797	signed int
798
799	(types:
800	lvalue signed int
801	lvalue signed int
802	lvalue signed int
803	)
804	Environment:
805
806	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
807	signed int
808	signed int
809	signed int
810	signed int
811
812	(types:
813	lvalue signed int
814	lvalue signed int
815	lvalue signed int
816	lvalue signed int
817	)
818	Environment:
819
820	there are 4 alternatives before elimination
821	there are 4 alternatives after elimination
822	findSubExprs
823	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
824	signed int
825	signed int
826	signed int
827	signed int
828
829	(types:
830	lvalue signed int
831	lvalue signed int
832	lvalue signed int
833	lvalue signed int
834	)
835	Environment:
836
837	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
838	signed int
839	signed int
840	signed int
841
842	(types:
843	lvalue signed int
844	lvalue signed int
845	lvalue signed int
846	)
847	Environment:
848
849	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
850	signed int
851	double
852
853	(types:
854	lvalue signed int
855	lvalue double
856	)
857	Environment:
858
859	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
860	signed int
861
862	(types:
863	lvalue signed int
864	)
865	Environment:
866
867	nameExpr is q
868	decl is q: tuple of types
869	char
870
871	newExpr is Variable Expression: q: tuple of types
872	char
873
874
875	decl is q: tuple of types
876	signed int
877	signed int
878
879	newExpr is Variable Expression: q: tuple of types
880	signed int
881	signed int
882
883
884	decl is q: tuple of types
885	signed int
886	signed int
887	float
888
889	newExpr is Variable Expression: q: tuple of types
890	signed int
891	signed int
892	float
893
894
895	decl is q: tuple of types
896	signed int
897	signed int
898	signed int
899	signed int
900
901	newExpr is Variable Expression: q: tuple of types
902	signed int
903	signed int
904	signed int
905	signed int
906
907
908	alternatives before prune:
909	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
910	char
911
912	(types:
913	lvalue char
914	)
915	Environment:
916
917	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
918	signed int
919	signed int
920
921	(types:
922	lvalue signed int
923	lvalue signed int
924	)
925	Environment:
926
927	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
928	signed int
929	signed int
930	float
931
932	(types:
933	lvalue signed int
934	lvalue signed int
935	lvalue float
936	)
937	Environment:
938
939	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
940	signed int
941	signed int
942	signed int
943	signed int
944
945	(types:
946	lvalue signed int
947	lvalue signed int
948	lvalue signed int
949	lvalue signed int
950	)
951	Environment:
952
953	there are 4 alternatives before elimination
954	there are 4 alternatives after elimination
955	findSubExprs
956	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
957	signed int
958	signed int
959	signed int
960	signed int
961
962	(types:
963	lvalue signed int
964	lvalue signed int
965	lvalue signed int
966	lvalue signed int
967	)
968	Environment:
969
970	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
971	signed int
972	signed int
973	float
974
975	(types:
976	lvalue signed int
977	lvalue signed int
978	lvalue float
979	)
980	Environment:
981
982	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
983	signed int
984	signed int
985
986	(types:
987	lvalue signed int
988	lvalue signed int
989	)
990	Environment:
991
992	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
993	char
994
995	(types:
996	lvalue char
997	)
998	Environment:
999
1000	working on alternative:
1001	Cost ( 0, 0, 0 ): Variable Expression: r: function
1002	with parameters
1003	signed int
1004	signed int
1005	signed int
1006	signed int
1007	returning
1008	signed int
1009	signed int
1010
1011	(types:
1012	pointer to function
1013	with parameters
1014	signed int
1015	signed int
1016	signed int
1017	signed int
1018	returning
1019	signed int
1020	signed int
1021
1022	)
1023	Environment:
1024	formal type is signed int
1025	actual type is lvalue signed int
1026	formal type is signed int
1027	actual type is lvalue signed int
1028	formal type is signed int
1029	actual type is lvalue signed int
1030	formal type is signed int
1031	actual type is lvalue signed int
1032	formal type is signed int
1033	actual type is lvalue signed int
1034	formal type is signed int
1035	actual type is lvalue signed int
1036	formal type is signed int
1037	actual type is lvalue signed int
1038	formal type is signed int
1039	actual type is lvalue signed int
1040	formal type is signed int
1041	actual type is lvalue signed int
1042	formal type is signed int
1043	actual type is lvalue double
1044	formal type is signed int
1045	actual type is lvalue signed int
1046	formal type is signed int
1047	actual type is lvalue signed int
1048	formal type is signed int
1049	actual type is lvalue signed int
1050	formal type is signed int
1051	actual type is lvalue signed int
1052	formal type is signed int
1053	actual type is lvalue signed int
1054	formal type is signed int
1055	actual type is lvalue signed int
1056	formal type is signed int
1057	actual type is lvalue signed int
1058	formal type is signed int
1059	actual type is lvalue signed int
1060	formal type is signed int
1061	actual type is lvalue signed int
1062	formal type is signed int
1063	actual type is lvalue signed int
1064	formal type is signed int
1065	actual type is lvalue signed int
1066	formal type is signed int
1067	actual type is lvalue signed int
1068	formal type is signed int
1069	actual type is lvalue signed int
1070	formal type is signed int
1071	actual type is lvalue signed int
1072	formal type is signed int
1073	actual type is lvalue signed int
1074	formal type is signed int
1075	actual type is lvalue double
1076	formal type is signed int
1077	actual type is lvalue signed int
1078	formal type is signed int
1079	actual type is lvalue signed int
1080	formal type is signed int
1081	actual type is lvalue signed int
1082	formal type is signed int
1083	actual type is lvalue signed int
1084	formal type is signed int
1085	actual type is lvalue signed int
1086	formal type is signed int
1087	actual type is lvalue float
1088	need assertions:
1089	============= original indexer
1090	===idTable===
1091	===typeTable===
1092	===structTable===
1093	===enumTable===
1094	===unionTable===
1095	===contextTable===
1096	============= new indexer
1097	===idTable===
1098	===typeTable===
1099	===structTable===
1100	===enumTable===
1101	===unionTable===
1102	===contextTable===
1103	formal type is signed int
1104	actual type is lvalue signed int
1105	formal type is signed int
1106	actual type is lvalue signed int
1107	formal type is signed int
1108	actual type is lvalue signed int
1109	formal type is signed int
1110	actual type is lvalue signed int
1111	formal type is signed int
1112	actual type is lvalue signed int
1113	formal type is signed int
1114	actual type is lvalue signed int
1115	formal type is signed int
1116	actual type is lvalue signed int
1117	formal type is signed int
1118	actual type is lvalue signed int
1119	formal type is signed int
1120	actual type is lvalue signed int
1121	formal type is signed int
1122	actual type is lvalue double
1123	formal type is signed int
1124	actual type is lvalue signed int
1125	formal type is signed int
1126	actual type is lvalue signed int
1127	need assertions:
1128	============= original indexer
1129	===idTable===
1130	===typeTable===
1131	===structTable===
1132	===enumTable===
1133	===unionTable===
1134	===contextTable===
1135	============= new indexer
1136	===idTable===
1137	===typeTable===
1138	===structTable===
1139	===enumTable===
1140	===unionTable===
1141	===contextTable===
1142	formal type is signed int
1143	actual type is lvalue signed int
1144	formal type is signed int
1145	actual type is lvalue signed int
1146	formal type is signed int
1147	actual type is lvalue signed int
1148	formal type is signed int
1149	actual type is lvalue signed int
1150	formal type is signed int
1151	actual type is lvalue signed int
1152	formal type is signed int
1153	actual type is lvalue signed int
1154	formal type is signed int
1155	actual type is lvalue signed int
1156	formal type is signed int
1157	actual type is lvalue signed int
1158	formal type is signed int
1159	actual type is lvalue signed int
1160	formal type is signed int
1161	actual type is lvalue signed int
1162	formal type is signed int
1163	actual type is lvalue char
1164	need assertions:
1165	============= original indexer
1166	===idTable===
1167	===typeTable===
1168	===structTable===
1169	===enumTable===
1170	===unionTable===
1171	===contextTable===
1172	============= new indexer
1173	===idTable===
1174	===typeTable===
1175	===structTable===
1176	===enumTable===
1177	===unionTable===
1178	===contextTable===
1179	formal type is signed int
1180	actual type is lvalue signed int
1181	formal type is signed int
1182	actual type is lvalue double
1183	formal type is signed int
1184	actual type is lvalue char
1185	formal type is signed int
1186	actual type is lvalue signed int
1187	formal type is signed int
1188	actual type is lvalue char
1189	actual expression:
1190	Variable Expression: p: tuple of types
1191	signed int
1192
1193	--- results are
1194	lvalue signed int
1195
1196	converting lvalue signed int
1197	to signed int
1198	cost is( 0, 0, 0 )
1199	actual expression:
1200	Variable Expression: q: tuple of types
1201	signed int
1202	signed int
1203	float
1204
1205	--- results are
1206	lvalue signed int
1207	lvalue signed int
1208	lvalue float
1209
1210	converting lvalue signed int
1211	to signed int
1212	cost is( 0, 0, 0 )
1213
1214	converting lvalue signed int
1215	to signed int
1216	cost is( 0, 0, 0 )
1217
1218	converting lvalue float
1219	to signed int
1220	cost is( 1, 0, 0 )
1221	Case +++++++++++++
1222	formals are:
1223	signed int
1224	signed int
1225	signed int
1226	signed int
1227	actuals are:
1228	Variable Expression: p: tuple of types
1229	signed int
1230
1231
1232	Cast of:
1233	Variable Expression: q: tuple of types
1234	signed int
1235	signed int
1236	float
1237
1238
1239	to:
1240	signed int
1241	signed int
1242	signed int
1243
1244	bindings are:
1245	cost of conversion is:( 1, 0, 0 )
1246	actual expression:
1247	Variable Expression: p: tuple of types
1248	signed int
1249	double
1250
1251	--- results are
1252	lvalue signed int
1253	lvalue double
1254
1255	converting lvalue signed int
1256	to signed int
1257	cost is( 0, 0, 0 )
1258
1259	converting lvalue double
1260	to signed int
1261	cost is( 1, 0, 0 )
1262	actual expression:
1263	Variable Expression: q: tuple of types
1264	signed int
1265	signed int
1266
1267	--- results are
1268	lvalue signed int
1269	lvalue signed int
1270
1271	converting lvalue signed int
1272	to signed int
1273	cost is( 0, 0, 0 )
1274
1275	converting lvalue signed int
1276	to signed int
1277	cost is( 0, 0, 0 )
1278	Case +++++++++++++
1279	formals are:
1280	signed int
1281	signed int
1282	signed int
1283	signed int
1284	actuals are:
1285	Cast of:
1286	Variable Expression: p: tuple of types
1287	signed int
1288	double
1289
1290
1291	to:
1292	signed int
1293	signed int
1294
1295	Variable Expression: q: tuple of types
1296	signed int
1297	signed int
1298
1299
1300	bindings are:
1301	cost of conversion is:( 1, 0, 0 )
1302	actual expression:
1303	Variable Expression: p: tuple of types
1304	signed int
1305	signed int
1306	signed int
1307
1308	--- results are
1309	lvalue signed int
1310	lvalue signed int
1311	lvalue signed int
1312
1313	converting lvalue signed int
1314	to signed int
1315	cost is( 0, 0, 0 )
1316
1317	converting lvalue signed int
1318	to signed int
1319	cost is( 0, 0, 0 )
1320
1321	converting lvalue signed int
1322	to signed int
1323	cost is( 0, 0, 0 )
1324	actual expression:
1325	Variable Expression: q: tuple of types
1326	char
1327
1328	--- results are
1329	lvalue char
1330
1331	converting lvalue char
1332	to signed int
1333	cost is( 0, 0, 4 )
1334	Case +++++++++++++
1335	formals are:
1336	signed int
1337	signed int
1338	signed int
1339	signed int
1340	actuals are:
1341	Variable Expression: p: tuple of types
1342	signed int
1343	signed int
1344	signed int
1345
1346
1347	Cast of:
1348	Variable Expression: q: tuple of types
1349	char
1350
1351
1352	to:
1353	signed int
1354
1355	bindings are:
1356	cost of conversion is:( 0, 0, 4 )
1357	alternatives before prune:
1358	Cost ( 1, 0, 0 ): Application of
1359	Variable Expression: r: function
1360	with parameters
1361	signed int
1362	signed int
1363	signed int
1364	signed int
1365	returning
1366	signed int
1367	signed int
1368
1369	to arguments
1370	Variable Expression: p: tuple of types
1371	signed int
1372
1373
1374	Cast of:
1375	Variable Expression: q: tuple of types
1376	signed int
1377	signed int
1378	float
1379
1380
1381	to:
1382	signed int
1383	signed int
1384	signed int
1385
1386	(types:
1387	signed int
1388	signed int
1389	)
1390	Environment:
1391
1392	Cost ( 1, 0, 0 ): Application of
1393	Variable Expression: r: function
1394	with parameters
1395	signed int
1396	signed int
1397	signed int
1398	signed int
1399	returning
1400	signed int
1401	signed int
1402
1403	to arguments
1404	Cast of:
1405	Variable Expression: p: tuple of types
1406	signed int
1407	double
1408
1409
1410	to:
1411	signed int
1412	signed int
1413
1414	Variable Expression: q: tuple of types
1415	signed int
1416	signed int
1417
1418
1419	(types:
1420	signed int
1421	signed int
1422	)
1423	Environment:
1424
1425	Cost ( 0, 0, 4 ): Application of
1426	Variable Expression: r: function
1427	with parameters
1428	signed int
1429	signed int
1430	signed int
1431	signed int
1432	returning
1433	signed int
1434	signed int
1435
1436	to arguments
1437	Variable Expression: p: tuple of types
1438	signed int
1439	signed int
1440	signed int
1441
1442
1443	Cast of:
1444	Variable Expression: q: tuple of types
1445	char
1446
1447
1448	to:
1449	signed int
1450
1451	(types:
1452	signed int
1453	signed int
1454	)
1455	Environment:
1456
1457	marking ambiguous
1458	cost ( 0, 0, 4 ) beats ( 1, 0, 0 )
1459	there are 1 alternatives before elimination
1460	there are 1 alternatives after elimination
1461	alternatives before prune:
1462	Cost ( 0, 0, 2 ): Cast of:
1463	Application of
1464	Variable Expression: r: function
1465	with parameters
1466	signed int
1467	signed int
1468	signed int
1469	signed int
1470	returning
1471	signed int
1472	signed int
1473
1474	to arguments
1475	Variable Expression: p: tuple of types
1476	signed int
1477	signed int
1478	signed int
1479
1480
1481	Cast of:
1482	Variable Expression: q: tuple of types
1483	char
1484
1485
1486	to:
1487	signed int
1488
1489
1490	to:
1491	nothing
1492	(types:
1493	)
1494	Environment:
1495
1496	there are 1 alternatives before elimination
1497	there are 1 alternatives after elimination
1498	nameExpr is r
1499	decl is r: function
1500	with parameters
1501	signed int
1502	signed int
1503	signed int
1504	signed int
1505	returning
1506	signed int
1507	signed int
1508
1509	newExpr is Variable Expression: r: function
1510	with parameters
1511	signed int
1512	signed int
1513	signed int
1514	signed int
1515	returning
1516	signed int
1517	signed int
1518
1519
1520	alternatives before prune:
1521	Cost ( 0, 0, 0 ): Variable Expression: r: function
1522	with parameters
1523	signed int
1524	signed int
1525	signed int
1526	signed int
1527	returning
1528	signed int
1529	signed int
1530
1531	(types:
1532	pointer to function
1533	with parameters
1534	signed int
1535	signed int
1536	signed int
1537	signed int
1538	returning
1539	signed int
1540	signed int
1541
1542	)
1543	Environment:
1544
1545	there are 1 alternatives before elimination
1546	there are 1 alternatives after elimination
1547	nameExpr is q
1548	decl is q: tuple of types
1549	char
1550
1551	newExpr is Variable Expression: q: tuple of types
1552	char
1553
1554
1555	decl is q: tuple of types
1556	signed int
1557	signed int
1558
1559	newExpr is Variable Expression: q: tuple of types
1560	signed int
1561	signed int
1562
1563
1564	decl is q: tuple of types
1565	signed int
1566	signed int
1567	float
1568
1569	newExpr is Variable Expression: q: tuple of types
1570	signed int
1571	signed int
1572	float
1573
1574
1575	decl is q: tuple of types
1576	signed int
1577	signed int
1578	signed int
1579	signed int
1580
1581	newExpr is Variable Expression: q: tuple of types
1582	signed int
1583	signed int
1584	signed int
1585	signed int
1586
1587
1588	alternatives before prune:
1589	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
1590	char
1591
1592	(types:
1593	lvalue char
1594	)
1595	Environment:
1596
1597	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
1598	signed int
1599	signed int
1600
1601	(types:
1602	lvalue signed int
1603	lvalue signed int
1604	)
1605	Environment:
1606
1607	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
1608	signed int
1609	signed int
1610	float
1611
1612	(types:
1613	lvalue signed int
1614	lvalue signed int
1615	lvalue float
1616	)
1617	Environment:
1618
1619	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
1620	signed int
1621	signed int
1622	signed int
1623	signed int
1624
1625	(types:
1626	lvalue signed int
1627	lvalue signed int
1628	lvalue signed int
1629	lvalue signed int
1630	)
1631	Environment:
1632
1633	there are 4 alternatives before elimination
1634	there are 4 alternatives after elimination
1635	findSubExprs
1636	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
1637	signed int
1638	signed int
1639	signed int
1640	signed int
1641
1642	(types:
1643	lvalue signed int
1644	lvalue signed int
1645	lvalue signed int
1646	lvalue signed int
1647	)
1648	Environment:
1649
1650	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
1651	signed int
1652	signed int
1653	float
1654
1655	(types:
1656	lvalue signed int
1657	lvalue signed int
1658	lvalue float
1659	)
1660	Environment:
1661
1662	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
1663	signed int
1664	signed int
1665
1666	(types:
1667	lvalue signed int
1668	lvalue signed int
1669	)
1670	Environment:
1671
1672	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
1673	char
1674
1675	(types:
1676	lvalue char
1677	)
1678	Environment:
1679
1680	nameExpr is p
1681	decl is p: tuple of types
1682	signed int
1683
1684	newExpr is Variable Expression: p: tuple of types
1685	signed int
1686
1687
1688	decl is p: tuple of types
1689	signed int
1690	double
1691
1692	newExpr is Variable Expression: p: tuple of types
1693	signed int
1694	double
1695
1696
1697	decl is p: tuple of types
1698	signed int
1699	signed int
1700	signed int
1701
1702	newExpr is Variable Expression: p: tuple of types
1703	signed int
1704	signed int
1705	signed int
1706
1707
1708	decl is p: tuple of types
1709	signed int
1710	signed int
1711	signed int
1712	signed int
1713
1714	newExpr is Variable Expression: p: tuple of types
1715	signed int
1716	signed int
1717	signed int
1718	signed int
1719
1720
1721	alternatives before prune:
1722	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
1723	signed int
1724
1725	(types:
1726	lvalue signed int
1727	)
1728	Environment:
1729
1730	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
1731	signed int
1732	double
1733
1734	(types:
1735	lvalue signed int
1736	lvalue double
1737	)
1738	Environment:
1739
1740	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
1741	signed int
1742	signed int
1743	signed int
1744
1745	(types:
1746	lvalue signed int
1747	lvalue signed int
1748	lvalue signed int
1749	)
1750	Environment:
1751
1752	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
1753	signed int
1754	signed int
1755	signed int
1756	signed int
1757
1758	(types:
1759	lvalue signed int
1760	lvalue signed int
1761	lvalue signed int
1762	lvalue signed int
1763	)
1764	Environment:
1765
1766	there are 4 alternatives before elimination
1767	there are 4 alternatives after elimination
1768	findSubExprs
1769	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
1770	signed int
1771	signed int
1772	signed int
1773	signed int
1774
1775	(types:
1776	lvalue signed int
1777	lvalue signed int
1778	lvalue signed int
1779	lvalue signed int
1780	)
1781	Environment:
1782
1783	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
1784	signed int
1785	signed int
1786	signed int
1787
1788	(types:
1789	lvalue signed int
1790	lvalue signed int
1791	lvalue signed int
1792	)
1793	Environment:
1794
1795	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
1796	signed int
1797	double
1798
1799	(types:
1800	lvalue signed int
1801	lvalue double
1802	)
1803	Environment:
1804
1805	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
1806	signed int
1807
1808	(types:
1809	lvalue signed int
1810	)
1811	Environment:
1812
1813	alternatives before prune:
1814	Cost ( 0, 0, 0 ): Tuple:
1815	Variable Expression: q: tuple of types
1816	signed int
1817	signed int
1818	signed int
1819	signed int
1820
1821
1822	Variable Expression: p: tuple of types
1823	signed int
1824	signed int
1825	signed int
1826	signed int
1827
1828
1829	(types:
1830	lvalue signed int
1831	lvalue signed int
1832	lvalue signed int
1833	lvalue signed int
1834	lvalue signed int
1835	lvalue signed int
1836	lvalue signed int
1837	lvalue signed int
1838	)
1839	Environment:
1840
1841	Cost ( 0, 0, 0 ): Tuple:
1842	Variable Expression: q: tuple of types
1843	signed int
1844	signed int
1845	float
1846
1847
1848	Variable Expression: p: tuple of types
1849	signed int
1850	signed int
1851	signed int
1852	signed int
1853
1854
1855	(types:
1856	lvalue signed int
1857	lvalue signed int
1858	lvalue float
1859	lvalue signed int
1860	lvalue signed int
1861	lvalue signed int
1862	lvalue signed int
1863	)
1864	Environment:
1865
1866	Cost ( 0, 0, 0 ): Tuple:
1867	Variable Expression: q: tuple of types
1868	signed int
1869	signed int
1870
1871
1872	Variable Expression: p: tuple of types
1873	signed int
1874	signed int
1875	signed int
1876	signed int
1877
1878
1879	(types:
1880	lvalue signed int
1881	lvalue signed int
1882	lvalue signed int
1883	lvalue signed int
1884	lvalue signed int
1885	lvalue signed int
1886	)
1887	Environment:
1888
1889	Cost ( 0, 0, 0 ): Tuple:
1890	Variable Expression: q: tuple of types
1891	char
1892
1893
1894	Variable Expression: p: tuple of types
1895	signed int
1896	signed int
1897	signed int
1898	signed int
1899
1900
1901	(types:
1902	lvalue char
1903	lvalue signed int
1904	lvalue signed int
1905	lvalue signed int
1906	lvalue signed int
1907	)
1908	Environment:
1909
1910	Cost ( 0, 0, 0 ): Tuple:
1911	Variable Expression: q: tuple of types
1912	signed int
1913	signed int
1914	signed int
1915	signed int
1916
1917
1918	Variable Expression: p: tuple of types
1919	signed int
1920	signed int
1921	signed int
1922
1923
1924	(types:
1925	lvalue signed int
1926	lvalue signed int
1927	lvalue signed int
1928	lvalue signed int
1929	lvalue signed int
1930	lvalue signed int
1931	lvalue signed int
1932	)
1933	Environment:
1934
1935	Cost ( 0, 0, 0 ): Tuple:
1936	Variable Expression: q: tuple of types
1937	signed int
1938	signed int
1939	float
1940
1941
1942	Variable Expression: p: tuple of types
1943	signed int
1944	signed int
1945	signed int
1946
1947
1948	(types:
1949	lvalue signed int
1950	lvalue signed int
1951	lvalue float
1952	lvalue signed int
1953	lvalue signed int
1954	lvalue signed int
1955	)
1956	Environment:
1957
1958	Cost ( 0, 0, 0 ): Tuple:
1959	Variable Expression: q: tuple of types
1960	signed int
1961	signed int
1962
1963
1964	Variable Expression: p: tuple of types
1965	signed int
1966	signed int
1967	signed int
1968
1969
1970	(types:
1971	lvalue signed int
1972	lvalue signed int
1973	lvalue signed int
1974	lvalue signed int
1975	lvalue signed int
1976	)
1977	Environment:
1978
1979	Cost ( 0, 0, 0 ): Tuple:
1980	Variable Expression: q: tuple of types
1981	char
1982
1983
1984	Variable Expression: p: tuple of types
1985	signed int
1986	signed int
1987	signed int
1988
1989
1990	(types:
1991	lvalue char
1992	lvalue signed int
1993	lvalue signed int
1994	lvalue signed int
1995	)
1996	Environment:
1997
1998	Cost ( 0, 0, 0 ): Tuple:
1999	Variable Expression: q: tuple of types
2000	signed int
2001	signed int
2002	signed int
2003	signed int
2004
2005
2006	Variable Expression: p: tuple of types
2007	signed int
2008	double
2009
2010
2011	(types:
2012	lvalue signed int
2013	lvalue signed int
2014	lvalue signed int
2015	lvalue signed int
2016	lvalue signed int
2017	lvalue double
2018	)
2019	Environment:
2020
2021	Cost ( 0, 0, 0 ): Tuple:
2022	Variable Expression: q: tuple of types
2023	signed int
2024	signed int
2025	float
2026
2027
2028	Variable Expression: p: tuple of types
2029	signed int
2030	double
2031
2032
2033	(types:
2034	lvalue signed int
2035	lvalue signed int
2036	lvalue float
2037	lvalue signed int
2038	lvalue double
2039	)
2040	Environment:
2041
2042	Cost ( 0, 0, 0 ): Tuple:
2043	Variable Expression: q: tuple of types
2044	signed int
2045	signed int
2046
2047
2048	Variable Expression: p: tuple of types
2049	signed int
2050	double
2051
2052
2053	(types:
2054	lvalue signed int
2055	lvalue signed int
2056	lvalue signed int
2057	lvalue double
2058	)
2059	Environment:
2060
2061	Cost ( 0, 0, 0 ): Tuple:
2062	Variable Expression: q: tuple of types
2063	char
2064
2065
2066	Variable Expression: p: tuple of types
2067	signed int
2068	double
2069
2070
2071	(types:
2072	lvalue char
2073	lvalue signed int
2074	lvalue double
2075	)
2076	Environment:
2077
2078	Cost ( 0, 0, 0 ): Tuple:
2079	Variable Expression: q: tuple of types
2080	signed int
2081	signed int
2082	signed int
2083	signed int
2084
2085
2086	Variable Expression: p: tuple of types
2087	signed int
2088
2089
2090	(types:
2091	lvalue signed int
2092	lvalue signed int
2093	lvalue signed int
2094	lvalue signed int
2095	lvalue signed int
2096	)
2097	Environment:
2098
2099	Cost ( 0, 0, 0 ): Tuple:
2100	Variable Expression: q: tuple of types
2101	signed int
2102	signed int
2103	float
2104
2105
2106	Variable Expression: p: tuple of types
2107	signed int
2108
2109
2110	(types:
2111	lvalue signed int
2112	lvalue signed int
2113	lvalue float
2114	lvalue signed int
2115	)
2116	Environment:
2117
2118	Cost ( 0, 0, 0 ): Tuple:
2119	Variable Expression: q: tuple of types
2120	signed int
2121	signed int
2122
2123
2124	Variable Expression: p: tuple of types
2125	signed int
2126
2127
2128	(types:
2129	lvalue signed int
2130	lvalue signed int
2131	lvalue signed int
2132	)
2133	Environment:
2134
2135	Cost ( 0, 0, 0 ): Tuple:
2136	Variable Expression: q: tuple of types
2137	char
2138
2139
2140	Variable Expression: p: tuple of types
2141	signed int
2142
2143
2144	(types:
2145	lvalue char
2146	lvalue signed int
2147	)
2148	Environment:
2149
2150	marking ambiguous
2151	there are 15 alternatives before elimination
2152	there are 14 alternatives after elimination
2153	findSubExprs
2154	Cost ( 0, 0, 0 ): Tuple:
2155	Variable Expression: q: tuple of types
2156	signed int
2157	signed int
2158	signed int
2159	signed int
2160
2161
2162	Variable Expression: p: tuple of types
2163	signed int
2164	signed int
2165	signed int
2166	signed int
2167
2168
2169	(types:
2170	lvalue signed int
2171	lvalue signed int
2172	lvalue signed int
2173	lvalue signed int
2174	lvalue signed int
2175	lvalue signed int
2176	lvalue signed int
2177	lvalue signed int
2178	)
2179	Environment:
2180
2181	Cost ( 0, 0, 0 ): Tuple:
2182	Variable Expression: q: tuple of types
2183	signed int
2184	signed int
2185	signed int
2186	signed int
2187
2188
2189	Variable Expression: p: tuple of types
2190	signed int
2191	signed int
2192	signed int
2193
2194
2195	(types:
2196	lvalue signed int
2197	lvalue signed int
2198	lvalue signed int
2199	lvalue signed int
2200	lvalue signed int
2201	lvalue signed int
2202	lvalue signed int
2203	)
2204	Environment:
2205
2206	Cost ( 0, 0, 0 ): Tuple:
2207	Variable Expression: q: tuple of types
2208	signed int
2209	signed int
2210
2211
2212	Variable Expression: p: tuple of types
2213	signed int
2214	signed int
2215	signed int
2216	signed int
2217
2218
2219	(types:
2220	lvalue signed int
2221	lvalue signed int
2222	lvalue signed int
2223	lvalue signed int
2224	lvalue signed int
2225	lvalue signed int
2226	)
2227	Environment:
2228
2229	Cost ( 0, 0, 0 ): Tuple:
2230	Variable Expression: q: tuple of types
2231	signed int
2232	signed int
2233	signed int
2234	signed int
2235
2236
2237	Variable Expression: p: tuple of types
2238	signed int
2239	double
2240
2241
2242	(types:
2243	lvalue signed int
2244	lvalue signed int
2245	lvalue signed int
2246	lvalue signed int
2247	lvalue signed int
2248	lvalue double
2249	)
2250	Environment:
2251
2252	Cost ( 0, 0, 0 ): Tuple:
2253	Variable Expression: q: tuple of types
2254	signed int
2255	signed int
2256
2257
2258	Variable Expression: p: tuple of types
2259	signed int
2260	double
2261
2262
2263	(types:
2264	lvalue signed int
2265	lvalue signed int
2266	lvalue signed int
2267	lvalue double
2268	)
2269	Environment:
2270
2271	Cost ( 0, 0, 0 ): Tuple:
2272	Variable Expression: q: tuple of types
2273	signed int
2274	signed int
2275
2276
2277	Variable Expression: p: tuple of types
2278	signed int
2279
2280
2281	(types:
2282	lvalue signed int
2283	lvalue signed int
2284	lvalue signed int
2285	)
2286	Environment:
2287
2288	Cost ( 0, 0, 0 ): Tuple:
2289	Variable Expression: q: tuple of types
2290	signed int
2291	signed int
2292	float
2293
2294
2295	Variable Expression: p: tuple of types
2296	signed int
2297	signed int
2298	signed int
2299	signed int
2300
2301
2302	(types:
2303	lvalue signed int
2304	lvalue signed int
2305	lvalue float
2306	lvalue signed int
2307	lvalue signed int
2308	lvalue signed int
2309	lvalue signed int
2310	)
2311	Environment:
2312
2313	Cost ( 0, 0, 0 ): Tuple:
2314	Variable Expression: q: tuple of types
2315	signed int
2316	signed int
2317	float
2318
2319
2320	Variable Expression: p: tuple of types
2321	signed int
2322	signed int
2323	signed int
2324
2325
2326	(types:
2327	lvalue signed int
2328	lvalue signed int
2329	lvalue float
2330	lvalue signed int
2331	lvalue signed int
2332	lvalue signed int
2333	)
2334	Environment:
2335
2336	Cost ( 0, 0, 0 ): Tuple:
2337	Variable Expression: q: tuple of types
2338	signed int
2339	signed int
2340	float
2341
2342
2343	Variable Expression: p: tuple of types
2344	signed int
2345	double
2346
2347
2348	(types:
2349	lvalue signed int
2350	lvalue signed int
2351	lvalue float
2352	lvalue signed int
2353	lvalue double
2354	)
2355	Environment:
2356
2357	Cost ( 0, 0, 0 ): Tuple:
2358	Variable Expression: q: tuple of types
2359	signed int
2360	signed int
2361	float
2362
2363
2364	Variable Expression: p: tuple of types
2365	signed int
2366
2367
2368	(types:
2369	lvalue signed int
2370	lvalue signed int
2371	lvalue float
2372	lvalue signed int
2373	)
2374	Environment:
2375
2376	Cost ( 0, 0, 0 ): Tuple:
2377	Variable Expression: q: tuple of types
2378	char
2379
2380
2381	Variable Expression: p: tuple of types
2382	signed int
2383	signed int
2384	signed int
2385	signed int
2386
2387
2388	(types:
2389	lvalue char
2390	lvalue signed int
2391	lvalue signed int
2392	lvalue signed int
2393	lvalue signed int
2394	)
2395	Environment:
2396
2397	Cost ( 0, 0, 0 ): Tuple:
2398	Variable Expression: q: tuple of types
2399	char
2400
2401
2402	Variable Expression: p: tuple of types
2403	signed int
2404	signed int
2405	signed int
2406
2407
2408	(types:
2409	lvalue char
2410	lvalue signed int
2411	lvalue signed int
2412	lvalue signed int
2413	)
2414	Environment:
2415
2416	Cost ( 0, 0, 0 ): Tuple:
2417	Variable Expression: q: tuple of types
2418	char
2419
2420
2421	Variable Expression: p: tuple of types
2422	signed int
2423	double
2424
2425
2426	(types:
2427	lvalue char
2428	lvalue signed int
2429	lvalue double
2430	)
2431	Environment:
2432
2433	Cost ( 0, 0, 0 ): Tuple:
2434	Variable Expression: q: tuple of types
2435	char
2436
2437
2438	Variable Expression: p: tuple of types
2439	signed int
2440
2441
2442	(types:
2443	lvalue char
2444	lvalue signed int
2445	)
2446	Environment:
2447
2448	working on alternative:
2449	Cost ( 0, 0, 0 ): Variable Expression: r: function
2450	with parameters
2451	signed int
2452	signed int
2453	signed int
2454	signed int
2455	returning
2456	signed int
2457	signed int
2458
2459	(types:
2460	pointer to function
2461	with parameters
2462	signed int
2463	signed int
2464	signed int
2465	signed int
2466	returning
2467	signed int
2468	signed int
2469
2470	)
2471	Environment:
2472	formal type is signed int
2473	actual type is lvalue signed int
2474	formal type is signed int
2475	actual type is lvalue signed int
2476	formal type is signed int
2477	actual type is lvalue signed int
2478	formal type is signed int
2479	actual type is lvalue signed int
2480	formal type is signed int
2481	actual type is lvalue signed int
2482	formal type is signed int
2483	actual type is lvalue signed int
2484	formal type is signed int
2485	actual type is lvalue signed int
2486	formal type is signed int
2487	actual type is lvalue signed int
2488	formal type is signed int
2489	actual type is lvalue signed int
2490	formal type is signed int
2491	actual type is lvalue signed int
2492	formal type is signed int
2493	actual type is lvalue signed int
2494	formal type is signed int
2495	actual type is lvalue signed int
2496	formal type is signed int
2497	actual type is lvalue signed int
2498	formal type is signed int
2499	actual type is lvalue signed int
2500	formal type is signed int
2501	actual type is lvalue signed int
2502	formal type is signed int
2503	actual type is lvalue signed int
2504	formal type is signed int
2505	actual type is lvalue signed int
2506	formal type is signed int
2507	actual type is lvalue signed int
2508	formal type is signed int
2509	actual type is lvalue signed int
2510	formal type is signed int
2511	actual type is lvalue double
2512	need assertions:
2513	============= original indexer
2514	===idTable===
2515	===typeTable===
2516	===structTable===
2517	===enumTable===
2518	===unionTable===
2519	===contextTable===
2520	============= new indexer
2521	===idTable===
2522	===typeTable===
2523	===structTable===
2524	===enumTable===
2525	===unionTable===
2526	===contextTable===
2527	formal type is signed int
2528	actual type is lvalue signed int
2529	formal type is signed int
2530	actual type is lvalue signed int
2531	formal type is signed int
2532	actual type is lvalue signed int
2533	formal type is signed int
2534	actual type is lvalue signed int
2535	formal type is signed int
2536	actual type is lvalue signed int
2537	formal type is signed int
2538	actual type is lvalue float
2539	formal type is signed int
2540	actual type is lvalue signed int
2541	formal type is signed int
2542	actual type is lvalue signed int
2543	formal type is signed int
2544	actual type is lvalue signed int
2545	formal type is signed int
2546	actual type is lvalue float
2547	formal type is signed int
2548	actual type is lvalue signed int
2549	formal type is signed int
2550	actual type is lvalue signed int
2551	formal type is signed int
2552	actual type is lvalue signed int
2553	formal type is signed int
2554	actual type is lvalue float
2555	formal type is signed int
2556	actual type is lvalue signed int
2557	formal type is signed int
2558	actual type is lvalue signed int
2559	formal type is signed int
2560	actual type is lvalue signed int
2561	formal type is signed int
2562	actual type is lvalue float
2563	formal type is signed int
2564	actual type is lvalue signed int
2565	need assertions:
2566	============= original indexer
2567	===idTable===
2568	===typeTable===
2569	===structTable===
2570	===enumTable===
2571	===unionTable===
2572	===contextTable===
2573	============= new indexer
2574	===idTable===
2575	===typeTable===
2576	===structTable===
2577	===enumTable===
2578	===unionTable===
2579	===contextTable===
2580	formal type is signed int
2581	actual type is lvalue char
2582	formal type is signed int
2583	actual type is lvalue signed int
2584	formal type is signed int
2585	actual type is lvalue signed int
2586	formal type is signed int
2587	actual type is lvalue signed int
2588	formal type is signed int
2589	actual type is lvalue char
2590	formal type is signed int
2591	actual type is lvalue signed int
2592	formal type is signed int
2593	actual type is lvalue signed int
2594	formal type is signed int
2595	actual type is lvalue signed int
2596	need assertions:
2597	============= original indexer
2598	===idTable===
2599	===typeTable===
2600	===structTable===
2601	===enumTable===
2602	===unionTable===
2603	===contextTable===
2604	============= new indexer
2605	===idTable===
2606	===typeTable===
2607	===structTable===
2608	===enumTable===
2609	===unionTable===
2610	===contextTable===
2611	formal type is signed int
2612	actual type is lvalue char
2613	formal type is signed int
2614	actual type is lvalue signed int
2615	formal type is signed int
2616	actual type is lvalue double
2617	formal type is signed int
2618	actual type is lvalue char
2619	formal type is signed int
2620	actual type is lvalue signed int
2621	actual expression:
2622	Tuple:
2623	Variable Expression: q: tuple of types
2624	signed int
2625	signed int
2626
2627
2628	Variable Expression: p: tuple of types
2629	signed int
2630	double
2631
2632
2633	--- results are
2634	lvalue signed int
2635	lvalue signed int
2636	lvalue signed int
2637	lvalue double
2638
2639	converting lvalue signed int
2640	to signed int
2641	cost is( 0, 0, 0 )
2642
2643	converting lvalue signed int
2644	to signed int
2645	cost is( 0, 0, 0 )
2646
2647	converting lvalue signed int
2648	to signed int
2649	cost is( 0, 0, 0 )
2650
2651	converting lvalue double
2652	to signed int
2653	cost is( 1, 0, 0 )
2654	Case +++++++++++++
2655	formals are:
2656	signed int
2657	signed int
2658	signed int
2659	signed int
2660	actuals are:
2661	Cast of:
2662	Tuple:
2663	Variable Expression: q: tuple of types
2664	signed int
2665	signed int
2666
2667
2668	Variable Expression: p: tuple of types
2669	signed int
2670	double
2671
2672
2673
2674	to:
2675	signed int
2676	signed int
2677	signed int
2678	signed int
2679
2680	bindings are:
2681	cost of conversion is:( 1, 0, 0 )
2682	actual expression:
2683	Tuple:
2684	Variable Expression: q: tuple of types
2685	signed int
2686	signed int
2687	float
2688
2689
2690	Variable Expression: p: tuple of types
2691	signed int
2692
2693
2694	--- results are
2695	lvalue signed int
2696	lvalue signed int
2697	lvalue float
2698	lvalue signed int
2699
2700	converting lvalue signed int
2701	to signed int
2702	cost is( 0, 0, 0 )
2703
2704	converting lvalue signed int
2705	to signed int
2706	cost is( 0, 0, 0 )
2707
2708	converting lvalue float
2709	to signed int
2710	cost is( 1, 0, 0 )
2711
2712	converting lvalue signed int
2713	to signed int
2714	cost is( 0, 0, 0 )
2715	Case +++++++++++++
2716	formals are:
2717	signed int
2718	signed int
2719	signed int
2720	signed int
2721	actuals are:
2722	Cast of:
2723	Tuple:
2724	Variable Expression: q: tuple of types
2725	signed int
2726	signed int
2727	float
2728
2729
2730	Variable Expression: p: tuple of types
2731	signed int
2732
2733
2734
2735	to:
2736	signed int
2737	signed int
2738	signed int
2739	signed int
2740
2741	bindings are:
2742	cost of conversion is:( 1, 0, 0 )
2743	actual expression:
2744	Tuple:
2745	Variable Expression: q: tuple of types
2746	char
2747
2748
2749	Variable Expression: p: tuple of types
2750	signed int
2751	signed int
2752	signed int
2753
2754
2755	--- results are
2756	lvalue char
2757	lvalue signed int
2758	lvalue signed int
2759	lvalue signed int
2760
2761	converting lvalue char
2762	to signed int
2763	cost is( 0, 0, 4 )
2764
2765	converting lvalue signed int
2766	to signed int
2767	cost is( 0, 0, 0 )
2768
2769	converting lvalue signed int
2770	to signed int
2771	cost is( 0, 0, 0 )
2772
2773	converting lvalue signed int
2774	to signed int
2775	cost is( 0, 0, 0 )
2776	Case +++++++++++++
2777	formals are:
2778	signed int
2779	signed int
2780	signed int
2781	signed int
2782	actuals are:
2783	Cast of:
2784	Tuple:
2785	Variable Expression: q: tuple of types
2786	char
2787
2788
2789	Variable Expression: p: tuple of types
2790	signed int
2791	signed int
2792	signed int
2793
2794
2795
2796	to:
2797	signed int
2798	signed int
2799	signed int
2800	signed int
2801
2802	bindings are:
2803	cost of conversion is:( 0, 0, 4 )
2804	alternatives before prune:
2805	Cost ( 1, 0, 0 ): Application of
2806	Variable Expression: r: function
2807	with parameters
2808	signed int
2809	signed int
2810	signed int
2811	signed int
2812	returning
2813	signed int
2814	signed int
2815
2816	to arguments
2817	Cast of:
2818	Tuple:
2819	Variable Expression: q: tuple of types
2820	signed int
2821	signed int
2822
2823
2824	Variable Expression: p: tuple of types
2825	signed int
2826	double
2827
2828
2829
2830	to:
2831	signed int
2832	signed int
2833	signed int
2834	signed int
2835
2836	(types:
2837	signed int
2838	signed int
2839	)
2840	Environment:
2841
2842	Cost ( 1, 0, 0 ): Application of
2843	Variable Expression: r: function
2844	with parameters
2845	signed int
2846	signed int
2847	signed int
2848	signed int
2849	returning
2850	signed int
2851	signed int
2852
2853	to arguments
2854	Cast of:
2855	Tuple:
2856	Variable Expression: q: tuple of types
2857	signed int
2858	signed int
2859	float
2860
2861
2862	Variable Expression: p: tuple of types
2863	signed int
2864
2865
2866
2867	to:
2868	signed int
2869	signed int
2870	signed int
2871	signed int
2872
2873	(types:
2874	signed int
2875	signed int
2876	)
2877	Environment:
2878
2879	Cost ( 0, 0, 4 ): Application of
2880	Variable Expression: r: function
2881	with parameters
2882	signed int
2883	signed int
2884	signed int
2885	signed int
2886	returning
2887	signed int
2888	signed int
2889
2890	to arguments
2891	Cast of:
2892	Tuple:
2893	Variable Expression: q: tuple of types
2894	char
2895
2896
2897	Variable Expression: p: tuple of types
2898	signed int
2899	signed int
2900	signed int
2901
2902
2903
2904	to:
2905	signed int
2906	signed int
2907	signed int
2908	signed int
2909
2910	(types:
2911	signed int
2912	signed int
2913	)
2914	Environment:
2915
2916	marking ambiguous
2917	cost ( 0, 0, 4 ) beats ( 1, 0, 0 )
2918	there are 1 alternatives before elimination
2919	there are 1 alternatives after elimination
2920	alternatives before prune:
2921	Cost ( 0, 0, 2 ): Cast of:
2922	Application of
2923	Variable Expression: r: function
2924	with parameters
2925	signed int
2926	signed int
2927	signed int
2928	signed int
2929	returning
2930	signed int
2931	signed int
2932
2933	to arguments
2934	Cast of:
2935	Tuple:
2936	Variable Expression: q: tuple of types
2937	char
2938
2939
2940	Variable Expression: p: tuple of types
2941	signed int
2942	signed int
2943	signed int
2944
2945
2946
2947	to:
2948	signed int
2949	signed int
2950	signed int
2951	signed int
2952
2953
2954	to:
2955	nothing
2956	(types:
2957	)
2958	Environment:
2959
2960	there are 1 alternatives before elimination
2961	there are 1 alternatives after elimination
2962	nameExpr is r
2963	decl is r: function
2964	with parameters
2965	signed int
2966	signed int
2967	signed int
2968	signed int
2969	returning
2970	signed int
2971	signed int
2972
2973	newExpr is Variable Expression: r: function
2974	with parameters
2975	signed int
2976	signed int
2977	signed int
2978	signed int
2979	returning
2980	signed int
2981	signed int
2982
2983
2984	alternatives before prune:
2985	Cost ( 0, 0, 0 ): Variable Expression: r: function
2986	with parameters
2987	signed int
2988	signed int
2989	signed int
2990	signed int
2991	returning
2992	signed int
2993	signed int
2994
2995	(types:
2996	pointer to function
2997	with parameters
2998	signed int
2999	signed int
3000	signed int
3001	signed int
3002	returning
3003	signed int
3004	signed int
3005
3006	)
3007	Environment:
3008
3009	there are 1 alternatives before elimination
3010	there are 1 alternatives after elimination
3011	nameExpr is r
3012	decl is r: function
3013	with parameters
3014	signed int
3015	signed int
3016	signed int
3017	signed int
3018	returning
3019	signed int
3020	signed int
3021
3022	newExpr is Variable Expression: r: function
3023	with parameters
3024	signed int
3025	signed int
3026	signed int
3027	signed int
3028	returning
3029	signed int
3030	signed int
3031
3032
3033	alternatives before prune:
3034	Cost ( 0, 0, 0 ): Variable Expression: r: function
3035	with parameters
3036	signed int
3037	signed int
3038	signed int
3039	signed int
3040	returning
3041	signed int
3042	signed int
3043
3044	(types:
3045	pointer to function
3046	with parameters
3047	signed int
3048	signed int
3049	signed int
3050	signed int
3051	returning
3052	signed int
3053	signed int
3054
3055	)
3056	Environment:
3057
3058	there are 1 alternatives before elimination
3059	there are 1 alternatives after elimination
3060	nameExpr is p
3061	decl is p: tuple of types
3062	signed int
3063
3064	newExpr is Variable Expression: p: tuple of types
3065	signed int
3066
3067
3068	decl is p: tuple of types
3069	signed int
3070	double
3071
3072	newExpr is Variable Expression: p: tuple of types
3073	signed int
3074	double
3075
3076
3077	decl is p: tuple of types
3078	signed int
3079	signed int
3080	signed int
3081
3082	newExpr is Variable Expression: p: tuple of types
3083	signed int
3084	signed int
3085	signed int
3086
3087
3088	decl is p: tuple of types
3089	signed int
3090	signed int
3091	signed int
3092	signed int
3093
3094	newExpr is Variable Expression: p: tuple of types
3095	signed int
3096	signed int
3097	signed int
3098	signed int
3099
3100
3101	alternatives before prune:
3102	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
3103	signed int
3104
3105	(types:
3106	lvalue signed int
3107	)
3108	Environment:
3109
3110	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
3111	signed int
3112	double
3113
3114	(types:
3115	lvalue signed int
3116	lvalue double
3117	)
3118	Environment:
3119
3120	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
3121	signed int
3122	signed int
3123	signed int
3124
3125	(types:
3126	lvalue signed int
3127	lvalue signed int
3128	lvalue signed int
3129	)
3130	Environment:
3131
3132	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
3133	signed int
3134	signed int
3135	signed int
3136	signed int
3137
3138	(types:
3139	lvalue signed int
3140	lvalue signed int
3141	lvalue signed int
3142	lvalue signed int
3143	)
3144	Environment:
3145
3146	there are 4 alternatives before elimination
3147	there are 4 alternatives after elimination
3148	findSubExprs
3149	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
3150	signed int
3151	signed int
3152	signed int
3153	signed int
3154
3155	(types:
3156	lvalue signed int
3157	lvalue signed int
3158	lvalue signed int
3159	lvalue signed int
3160	)
3161	Environment:
3162
3163	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
3164	signed int
3165	signed int
3166	signed int
3167
3168	(types:
3169	lvalue signed int
3170	lvalue signed int
3171	lvalue signed int
3172	)
3173	Environment:
3174
3175	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
3176	signed int
3177	double
3178
3179	(types:
3180	lvalue signed int
3181	lvalue double
3182	)
3183	Environment:
3184
3185	Cost ( 0, 0, 0 ): Variable Expression: p: tuple of types
3186	signed int
3187
3188	(types:
3189	lvalue signed int
3190	)
3191	Environment:
3192
3193	nameExpr is q
3194	decl is q: tuple of types
3195	char
3196
3197	newExpr is Variable Expression: q: tuple of types
3198	char
3199
3200
3201	decl is q: tuple of types
3202	signed int
3203	signed int
3204
3205	newExpr is Variable Expression: q: tuple of types
3206	signed int
3207	signed int
3208
3209
3210	decl is q: tuple of types
3211	signed int
3212	signed int
3213	float
3214
3215	newExpr is Variable Expression: q: tuple of types
3216	signed int
3217	signed int
3218	float
3219
3220
3221	decl is q: tuple of types
3222	signed int
3223	signed int
3224	signed int
3225	signed int
3226
3227	newExpr is Variable Expression: q: tuple of types
3228	signed int
3229	signed int
3230	signed int
3231	signed int
3232
3233
3234	alternatives before prune:
3235	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3236	char
3237
3238	(types:
3239	lvalue char
3240	)
3241	Environment:
3242
3243	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3244	signed int
3245	signed int
3246
3247	(types:
3248	lvalue signed int
3249	lvalue signed int
3250	)
3251	Environment:
3252
3253	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3254	signed int
3255	signed int
3256	float
3257
3258	(types:
3259	lvalue signed int
3260	lvalue signed int
3261	lvalue float
3262	)
3263	Environment:
3264
3265	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3266	signed int
3267	signed int
3268	signed int
3269	signed int
3270
3271	(types:
3272	lvalue signed int
3273	lvalue signed int
3274	lvalue signed int
3275	lvalue signed int
3276	)
3277	Environment:
3278
3279	there are 4 alternatives before elimination
3280	there are 4 alternatives after elimination
3281	findSubExprs
3282	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3283	signed int
3284	signed int
3285	signed int
3286	signed int
3287
3288	(types:
3289	lvalue signed int
3290	lvalue signed int
3291	lvalue signed int
3292	lvalue signed int
3293	)
3294	Environment:
3295
3296	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3297	signed int
3298	signed int
3299	float
3300
3301	(types:
3302	lvalue signed int
3303	lvalue signed int
3304	lvalue float
3305	)
3306	Environment:
3307
3308	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3309	signed int
3310	signed int
3311
3312	(types:
3313	lvalue signed int
3314	lvalue signed int
3315	)
3316	Environment:
3317
3318	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3319	char
3320
3321	(types:
3322	lvalue char
3323	)
3324	Environment:
3325
3326	working on alternative:
3327	Cost ( 0, 0, 0 ): Variable Expression: r: function
3328	with parameters
3329	signed int
3330	signed int
3331	signed int
3332	signed int
3333	returning
3334	signed int
3335	signed int
3336
3337	(types:
3338	pointer to function
3339	with parameters
3340	signed int
3341	signed int
3342	signed int
3343	signed int
3344	returning
3345	signed int
3346	signed int
3347
3348	)
3349	Environment:
3350	formal type is signed int
3351	actual type is lvalue signed int
3352	formal type is signed int
3353	actual type is lvalue signed int
3354	formal type is signed int
3355	actual type is lvalue signed int
3356	formal type is signed int
3357	actual type is lvalue signed int
3358	formal type is signed int
3359	actual type is lvalue signed int
3360	formal type is signed int
3361	actual type is lvalue signed int
3362	formal type is signed int
3363	actual type is lvalue signed int
3364	formal type is signed int
3365	actual type is lvalue signed int
3366	formal type is signed int
3367	actual type is lvalue signed int
3368	formal type is signed int
3369	actual type is lvalue double
3370	formal type is signed int
3371	actual type is lvalue signed int
3372	formal type is signed int
3373	actual type is lvalue signed int
3374	formal type is signed int
3375	actual type is lvalue signed int
3376	formal type is signed int
3377	actual type is lvalue signed int
3378	formal type is signed int
3379	actual type is lvalue signed int
3380	formal type is signed int
3381	actual type is lvalue signed int
3382	formal type is signed int
3383	actual type is lvalue signed int
3384	formal type is signed int
3385	actual type is lvalue signed int
3386	formal type is signed int
3387	actual type is lvalue signed int
3388	formal type is signed int
3389	actual type is lvalue signed int
3390	formal type is signed int
3391	actual type is lvalue signed int
3392	formal type is signed int
3393	actual type is lvalue signed int
3394	formal type is signed int
3395	actual type is lvalue signed int
3396	formal type is signed int
3397	actual type is lvalue signed int
3398	formal type is signed int
3399	actual type is lvalue signed int
3400	formal type is signed int
3401	actual type is lvalue double
3402	formal type is signed int
3403	actual type is lvalue signed int
3404	formal type is signed int
3405	actual type is lvalue signed int
3406	formal type is signed int
3407	actual type is lvalue signed int
3408	formal type is signed int
3409	actual type is lvalue signed int
3410	formal type is signed int
3411	actual type is lvalue signed int
3412	formal type is signed int
3413	actual type is lvalue float
3414	need assertions:
3415	============= original indexer
3416	===idTable===
3417	===typeTable===
3418	===structTable===
3419	===enumTable===
3420	===unionTable===
3421	===contextTable===
3422	============= new indexer
3423	===idTable===
3424	===typeTable===
3425	===structTable===
3426	===enumTable===
3427	===unionTable===
3428	===contextTable===
3429	formal type is signed int
3430	actual type is lvalue signed int
3431	formal type is signed int
3432	actual type is lvalue signed int
3433	formal type is signed int
3434	actual type is lvalue signed int
3435	formal type is signed int
3436	actual type is lvalue signed int
3437	formal type is signed int
3438	actual type is lvalue signed int
3439	formal type is signed int
3440	actual type is lvalue signed int
3441	formal type is signed int
3442	actual type is lvalue signed int
3443	formal type is signed int
3444	actual type is lvalue signed int
3445	formal type is signed int
3446	actual type is lvalue signed int
3447	formal type is signed int
3448	actual type is lvalue double
3449	formal type is signed int
3450	actual type is lvalue signed int
3451	formal type is signed int
3452	actual type is lvalue signed int
3453	need assertions:
3454	============= original indexer
3455	===idTable===
3456	===typeTable===
3457	===structTable===
3458	===enumTable===
3459	===unionTable===
3460	===contextTable===
3461	============= new indexer
3462	===idTable===
3463	===typeTable===
3464	===structTable===
3465	===enumTable===
3466	===unionTable===
3467	===contextTable===
3468	formal type is signed int
3469	actual type is lvalue signed int
3470	formal type is signed int
3471	actual type is lvalue signed int
3472	formal type is signed int
3473	actual type is lvalue signed int
3474	formal type is signed int
3475	actual type is lvalue signed int
3476	formal type is signed int
3477	actual type is lvalue signed int
3478	formal type is signed int
3479	actual type is lvalue signed int
3480	formal type is signed int
3481	actual type is lvalue signed int
3482	formal type is signed int
3483	actual type is lvalue signed int
3484	formal type is signed int
3485	actual type is lvalue signed int
3486	formal type is signed int
3487	actual type is lvalue signed int
3488	formal type is signed int
3489	actual type is lvalue char
3490	need assertions:
3491	============= original indexer
3492	===idTable===
3493	===typeTable===
3494	===structTable===
3495	===enumTable===
3496	===unionTable===
3497	===contextTable===
3498	============= new indexer
3499	===idTable===
3500	===typeTable===
3501	===structTable===
3502	===enumTable===
3503	===unionTable===
3504	===contextTable===
3505	formal type is signed int
3506	actual type is lvalue signed int
3507	formal type is signed int
3508	actual type is lvalue double
3509	formal type is signed int
3510	actual type is lvalue char
3511	formal type is signed int
3512	actual type is lvalue signed int
3513	formal type is signed int
3514	actual type is lvalue char
3515	actual expression:
3516	Variable Expression: p: tuple of types
3517	signed int
3518
3519	--- results are
3520	lvalue signed int
3521
3522	converting lvalue signed int
3523	to signed int
3524	cost is( 0, 0, 0 )
3525	actual expression:
3526	Variable Expression: q: tuple of types
3527	signed int
3528	signed int
3529	float
3530
3531	--- results are
3532	lvalue signed int
3533	lvalue signed int
3534	lvalue float
3535
3536	converting lvalue signed int
3537	to signed int
3538	cost is( 0, 0, 0 )
3539
3540	converting lvalue signed int
3541	to signed int
3542	cost is( 0, 0, 0 )
3543
3544	converting lvalue float
3545	to signed int
3546	cost is( 1, 0, 0 )
3547	Case +++++++++++++
3548	formals are:
3549	signed int
3550	signed int
3551	signed int
3552	signed int
3553	actuals are:
3554	Variable Expression: p: tuple of types
3555	signed int
3556
3557
3558	Cast of:
3559	Variable Expression: q: tuple of types
3560	signed int
3561	signed int
3562	float
3563
3564
3565	to:
3566	signed int
3567	signed int
3568	signed int
3569
3570	bindings are:
3571	cost of conversion is:( 1, 0, 0 )
3572	actual expression:
3573	Variable Expression: p: tuple of types
3574	signed int
3575	double
3576
3577	--- results are
3578	lvalue signed int
3579	lvalue double
3580
3581	converting lvalue signed int
3582	to signed int
3583	cost is( 0, 0, 0 )
3584
3585	converting lvalue double
3586	to signed int
3587	cost is( 1, 0, 0 )
3588	actual expression:
3589	Variable Expression: q: tuple of types
3590	signed int
3591	signed int
3592
3593	--- results are
3594	lvalue signed int
3595	lvalue signed int
3596
3597	converting lvalue signed int
3598	to signed int
3599	cost is( 0, 0, 0 )
3600
3601	converting lvalue signed int
3602	to signed int
3603	cost is( 0, 0, 0 )
3604	Case +++++++++++++
3605	formals are:
3606	signed int
3607	signed int
3608	signed int
3609	signed int
3610	actuals are:
3611	Cast of:
3612	Variable Expression: p: tuple of types
3613	signed int
3614	double
3615
3616
3617	to:
3618	signed int
3619	signed int
3620
3621	Variable Expression: q: tuple of types
3622	signed int
3623	signed int
3624
3625
3626	bindings are:
3627	cost of conversion is:( 1, 0, 0 )
3628	actual expression:
3629	Variable Expression: p: tuple of types
3630	signed int
3631	signed int
3632	signed int
3633
3634	--- results are
3635	lvalue signed int
3636	lvalue signed int
3637	lvalue signed int
3638
3639	converting lvalue signed int
3640	to signed int
3641	cost is( 0, 0, 0 )
3642
3643	converting lvalue signed int
3644	to signed int
3645	cost is( 0, 0, 0 )
3646
3647	converting lvalue signed int
3648	to signed int
3649	cost is( 0, 0, 0 )
3650	actual expression:
3651	Variable Expression: q: tuple of types
3652	char
3653
3654	--- results are
3655	lvalue char
3656
3657	converting lvalue char
3658	to signed int
3659	cost is( 0, 0, 4 )
3660	Case +++++++++++++
3661	formals are:
3662	signed int
3663	signed int
3664	signed int
3665	signed int
3666	actuals are:
3667	Variable Expression: p: tuple of types
3668	signed int
3669	signed int
3670	signed int
3671
3672
3673	Cast of:
3674	Variable Expression: q: tuple of types
3675	char
3676
3677
3678	to:
3679	signed int
3680
3681	bindings are:
3682	cost of conversion is:( 0, 0, 4 )
3683	alternatives before prune:
3684	Cost ( 1, 0, 0 ): Application of
3685	Variable Expression: r: function
3686	with parameters
3687	signed int
3688	signed int
3689	signed int
3690	signed int
3691	returning
3692	signed int
3693	signed int
3694
3695	to arguments
3696	Variable Expression: p: tuple of types
3697	signed int
3698
3699
3700	Cast of:
3701	Variable Expression: q: tuple of types
3702	signed int
3703	signed int
3704	float
3705
3706
3707	to:
3708	signed int
3709	signed int
3710	signed int
3711
3712	(types:
3713	signed int
3714	signed int
3715	)
3716	Environment:
3717
3718	Cost ( 1, 0, 0 ): Application of
3719	Variable Expression: r: function
3720	with parameters
3721	signed int
3722	signed int
3723	signed int
3724	signed int
3725	returning
3726	signed int
3727	signed int
3728
3729	to arguments
3730	Cast of:
3731	Variable Expression: p: tuple of types
3732	signed int
3733	double
3734
3735
3736	to:
3737	signed int
3738	signed int
3739
3740	Variable Expression: q: tuple of types
3741	signed int
3742	signed int
3743
3744
3745	(types:
3746	signed int
3747	signed int
3748	)
3749	Environment:
3750
3751	Cost ( 0, 0, 4 ): Application of
3752	Variable Expression: r: function
3753	with parameters
3754	signed int
3755	signed int
3756	signed int
3757	signed int
3758	returning
3759	signed int
3760	signed int
3761
3762	to arguments
3763	Variable Expression: p: tuple of types
3764	signed int
3765	signed int
3766	signed int
3767
3768
3769	Cast of:
3770	Variable Expression: q: tuple of types
3771	char
3772
3773
3774	to:
3775	signed int
3776
3777	(types:
3778	signed int
3779	signed int
3780	)
3781	Environment:
3782
3783	marking ambiguous
3784	cost ( 0, 0, 4 ) beats ( 1, 0, 0 )
3785	there are 1 alternatives before elimination
3786	there are 1 alternatives after elimination
3787	findSubExprs
3788	Cost ( 0, 0, 4 ): Application of
3789	Variable Expression: r: function
3790	with parameters
3791	signed int
3792	signed int
3793	signed int
3794	signed int
3795	returning
3796	signed int
3797	signed int
3798
3799	to arguments
3800	Variable Expression: p: tuple of types
3801	signed int
3802	signed int
3803	signed int
3804
3805
3806	Cast of:
3807	Variable Expression: q: tuple of types
3808	char
3809
3810
3811	to:
3812	signed int
3813
3814	(types:
3815	signed int
3816	signed int
3817	)
3818	Environment:
3819
3820	nameExpr is r
3821	decl is r: function
3822	with parameters
3823	signed int
3824	signed int
3825	signed int
3826	signed int
3827	returning
3828	signed int
3829	signed int
3830
3831	newExpr is Variable Expression: r: function
3832	with parameters
3833	signed int
3834	signed int
3835	signed int
3836	signed int
3837	returning
3838	signed int
3839	signed int
3840
3841
3842	alternatives before prune:
3843	Cost ( 0, 0, 0 ): Variable Expression: r: function
3844	with parameters
3845	signed int
3846	signed int
3847	signed int
3848	signed int
3849	returning
3850	signed int
3851	signed int
3852
3853	(types:
3854	pointer to function
3855	with parameters
3856	signed int
3857	signed int
3858	signed int
3859	signed int
3860	returning
3861	signed int
3862	signed int
3863
3864	)
3865	Environment:
3866
3867	there are 1 alternatives before elimination
3868	there are 1 alternatives after elimination
3869	nameExpr is q
3870	decl is q: tuple of types
3871	char
3872
3873	newExpr is Variable Expression: q: tuple of types
3874	char
3875
3876
3877	decl is q: tuple of types
3878	signed int
3879	signed int
3880
3881	newExpr is Variable Expression: q: tuple of types
3882	signed int
3883	signed int
3884
3885
3886	decl is q: tuple of types
3887	signed int
3888	signed int
3889	float
3890
3891	newExpr is Variable Expression: q: tuple of types
3892	signed int
3893	signed int
3894	float
3895
3896
3897	decl is q: tuple of types
3898	signed int
3899	signed int
3900	signed int
3901	signed int
3902
3903	newExpr is Variable Expression: q: tuple of types
3904	signed int
3905	signed int
3906	signed int
3907	signed int
3908
3909
3910	alternatives before prune:
3911	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3912	char
3913
3914	(types:
3915	lvalue char
3916	)
3917	Environment:
3918
3919	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3920	signed int
3921	signed int
3922
3923	(types:
3924	lvalue signed int
3925	lvalue signed int
3926	)
3927	Environment:
3928
3929	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3930	signed int
3931	signed int
3932	float
3933
3934	(types:
3935	lvalue signed int
3936	lvalue signed int
3937	lvalue float
3938	)
3939	Environment:
3940
3941	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3942	signed int
3943	signed int
3944	signed int
3945	signed int
3946
3947	(types:
3948	lvalue signed int
3949	lvalue signed int
3950	lvalue signed int
3951	lvalue signed int
3952	)
3953	Environment:
3954
3955	there are 4 alternatives before elimination
3956	there are 4 alternatives after elimination
3957	findSubExprs
3958	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3959	signed int
3960	signed int
3961	signed int
3962	signed int
3963
3964	(types:
3965	lvalue signed int
3966	lvalue signed int
3967	lvalue signed int
3968	lvalue signed int
3969	)
3970	Environment:
3971
3972	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3973	signed int
3974	signed int
3975	float
3976
3977	(types:
3978	lvalue signed int
3979	lvalue signed int
3980	lvalue float
3981	)
3982	Environment:
3983
3984	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3985	signed int
3986	signed int
3987
3988	(types:
3989	lvalue signed int
3990	lvalue signed int
3991	)
3992	Environment:
3993
3994	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
3995	char
3996
3997	(types:
3998	lvalue char
3999	)
4000	Environment:
4001
4002	nameExpr is q
4003	decl is q: tuple of types
4004	char
4005
4006	newExpr is Variable Expression: q: tuple of types
4007	char
4008
4009
4010	decl is q: tuple of types
4011	signed int
4012	signed int
4013
4014	newExpr is Variable Expression: q: tuple of types
4015	signed int
4016	signed int
4017
4018
4019	decl is q: tuple of types
4020	signed int
4021	signed int
4022	float
4023
4024	newExpr is Variable Expression: q: tuple of types
4025	signed int
4026	signed int
4027	float
4028
4029
4030	decl is q: tuple of types
4031	signed int
4032	signed int
4033	signed int
4034	signed int
4035
4036	newExpr is Variable Expression: q: tuple of types
4037	signed int
4038	signed int
4039	signed int
4040	signed int
4041
4042
4043	alternatives before prune:
4044	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
4045	char
4046
4047	(types:
4048	lvalue char
4049	)
4050	Environment:
4051
4052	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
4053	signed int
4054	signed int
4055
4056	(types:
4057	lvalue signed int
4058	lvalue signed int
4059	)
4060	Environment:
4061
4062	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
4063	signed int
4064	signed int
4065	float
4066
4067	(types:
4068	lvalue signed int
4069	lvalue signed int
4070	lvalue float
4071	)
4072	Environment:
4073
4074	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
4075	signed int
4076	signed int
4077	signed int
4078	signed int
4079
4080	(types:
4081	lvalue signed int
4082	lvalue signed int
4083	lvalue signed int
4084	lvalue signed int
4085	)
4086	Environment:
4087
4088	there are 4 alternatives before elimination
4089	there are 4 alternatives after elimination
4090	findSubExprs
4091	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
4092	signed int
4093	signed int
4094	signed int
4095	signed int
4096
4097	(types:
4098	lvalue signed int
4099	lvalue signed int
4100	lvalue signed int
4101	lvalue signed int
4102	)
4103	Environment:
4104
4105	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
4106	signed int
4107	signed int
4108	float
4109
4110	(types:
4111	lvalue signed int
4112	lvalue signed int
4113	lvalue float
4114	)
4115	Environment:
4116
4117	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
4118	signed int
4119	signed int
4120
4121	(types:
4122	lvalue signed int
4123	lvalue signed int
4124	)
4125	Environment:
4126
4127	Cost ( 0, 0, 0 ): Variable Expression: q: tuple of types
4128	char
4129
4130	(types:
4131	lvalue char
4132	)
4133	Environment:
4134
4135	working on alternative:
4136	Cost ( 0, 0, 0 ): Variable Expression: r: function
4137	with parameters
4138	signed int
4139	signed int
4140	signed int
4141	signed int
4142	returning
4143	signed int
4144	signed int
4145
4146	(types:
4147	pointer to function
4148	with parameters
4149	signed int
4150	signed int
4151	signed int
4152	signed int
4153	returning
4154	signed int
4155	signed int
4156
4157	)
4158	Environment:
4159	formal type is signed int
4160	actual type is lvalue signed int
4161	formal type is signed int
4162	actual type is lvalue signed int
4163	formal type is signed int
4164	actual type is lvalue signed int
4165	formal type is signed int
4166	actual type is lvalue signed int
4167	formal type is signed int
4168	actual type is lvalue signed int
4169	formal type is signed int
4170	actual type is lvalue signed int
4171	formal type is signed int
4172	actual type is lvalue float
4173	formal type is signed int
4174	actual type is lvalue signed int
4175	formal type is signed int
4176	actual type is lvalue signed int
4177	formal type is signed int
4178	actual type is lvalue signed int
4179	formal type is signed int
4180	actual type is lvalue signed int
4181	formal type is signed int
4182	actual type is lvalue signed int
4183	formal type is signed int
4184	actual type is lvalue char
4185	formal type is signed int
4186	actual type is lvalue signed int
4187	formal type is signed int
4188	actual type is lvalue signed int
4189	formal type is signed int
4190	actual type is lvalue signed int
4191	formal type is signed int
4192	actual type is lvalue signed int
4193	formal type is signed int
4194	actual type is lvalue signed int
4195	formal type is signed int
4196	actual type is lvalue signed int
4197	formal type is signed int
4198	actual type is lvalue signed int
4199	formal type is signed int
4200	actual type is lvalue signed int
4201	formal type is signed int
4202	actual type is lvalue signed int
4203	formal type is signed int
4204	actual type is lvalue float
4205	formal type is signed int
4206	actual type is lvalue signed int
4207	formal type is signed int
4208	actual type is lvalue signed int
4209	formal type is signed int
4210	actual type is lvalue signed int
4211	formal type is signed int
4212	actual type is lvalue signed int
4213	formal type is signed int
4214	actual type is lvalue signed int
4215	formal type is signed int
4216	actual type is lvalue char
4217	formal type is signed int
4218	actual type is lvalue signed int
4219	formal type is signed int
4220	actual type is lvalue signed int
4221	formal type is signed int
4222	actual type is lvalue float
4223	need assertions:
4224	============= original indexer
4225	===idTable===
4226	===typeTable===
4227	===structTable===
4228	===enumTable===
4229	===unionTable===
4230	===contextTable===
4231	============= new indexer
4232	===idTable===
4233	===typeTable===
4234	===structTable===
4235	===enumTable===
4236	===unionTable===
4237	===contextTable===
4238	formal type is signed int
4239	actual type is lvalue signed int
4240	formal type is signed int
4241	actual type is lvalue signed int
4242	formal type is signed int
4243	actual type is lvalue signed int
4244	formal type is signed int
4245	actual type is lvalue signed int
4246	formal type is signed int
4247	actual type is lvalue signed int
4248	formal type is signed int
4249	actual type is lvalue signed int
4250	formal type is signed int
4251	actual type is lvalue float
4252	formal type is signed int
4253	actual type is lvalue signed int
4254	formal type is signed int
4255	actual type is lvalue signed int
4256	formal type is signed int
4257	actual type is lvalue signed int
4258	formal type is signed int
4259	actual type is lvalue signed int
4260	formal type is signed int
4261	actual type is lvalue signed int
4262	need assertions:
4263	============= original indexer
4264	===idTable===
4265	===typeTable===
4266	===structTable===
4267	===enumTable===
4268	===unionTable===
4269	===contextTable===
4270	============= new indexer
4271	===idTable===
4272	===typeTable===
4273	===structTable===
4274	===enumTable===
4275	===unionTable===
4276	===contextTable===
4277	formal type is signed int
4278	actual type is lvalue char
4279	formal type is signed int
4280	actual type is lvalue signed int
4281	formal type is signed int
4282	actual type is lvalue signed int
4283	formal type is signed int
4284	actual type is lvalue signed int
4285	formal type is signed int
4286	actual type is lvalue signed int
4287	formal type is signed int
4288	actual type is lvalue signed int
4289	formal type is signed int
4290	actual type is lvalue signed int
4291	formal type is signed int
4292	actual type is lvalue signed int
4293	formal type is signed int
4294	actual type is lvalue signed int
4295	formal type is signed int
4296	actual type is lvalue float
4297	formal type is signed int
4298	actual type is lvalue char
4299	need assertions:
4300	============= original indexer
4301	===idTable===
4302	===typeTable===
4303	===structTable===
4304	===enumTable===
4305	===unionTable===
4306	===contextTable===
4307	============= new indexer
4308	===idTable===
4309	===typeTable===
4310	===structTable===
4311	===enumTable===
4312	===unionTable===
4313	===contextTable===
4314	formal type is signed int
4315	actual type is lvalue signed int
4316	formal type is signed int
4317	actual type is lvalue signed int
4318	formal type is signed int
4319	actual type is lvalue char
4320	formal type is signed int
4321	actual type is lvalue char
4322	formal type is signed int
4323	actual type is lvalue char
4324	actual expression:
4325	Variable Expression: q: tuple of types
4326	char
4327
4328	--- results are
4329	lvalue char
4330
4331	converting lvalue char
4332	to signed int
4333	cost is( 0, 0, 4 )
4334	actual expression:
4335	Variable Expression: q: tuple of types
4336	signed int
4337	signed int
4338	float
4339
4340	--- results are
4341	lvalue signed int
4342	lvalue signed int
4343	lvalue float
4344
4345	converting lvalue signed int
4346	to signed int
4347	cost is( 0, 0, 0 )
4348
4349	converting lvalue signed int
4350	to signed int
4351	cost is( 0, 0, 0 )
4352
4353	converting lvalue float
4354	to signed int
4355	cost is( 1, 0, 0 )
4356	Case +++++++++++++
4357	formals are:
4358	signed int
4359	signed int
4360	signed int
4361	signed int
4362	actuals are:
4363	Cast of:
4364	Variable Expression: q: tuple of types
4365	char
4366
4367
4368	to:
4369	signed int
4370
4371	Cast of:
4372	Variable Expression: q: tuple of types
4373	signed int
4374	signed int
4375	float
4376
4377
4378	to:
4379	signed int
4380	signed int
4381	signed int
4382
4383	bindings are:
4384	cost of conversion is:( 1, 0, 4 )
4385	actual expression:
4386	Variable Expression: q: tuple of types
4387	signed int
4388	signed int
4389
4390	--- results are
4391	lvalue signed int
4392	lvalue signed int
4393
4394	converting lvalue signed int
4395	to signed int
4396	cost is( 0, 0, 0 )
4397
4398	converting lvalue signed int
4399	to signed int
4400	cost is( 0, 0, 0 )
4401	actual expression:
4402	Variable Expression: q: tuple of types
4403	signed int
4404	signed int
4405
4406	--- results are
4407	lvalue signed int
4408	lvalue signed int
4409
4410	converting lvalue signed int
4411	to signed int
4412	cost is( 0, 0, 0 )
4413
4414	converting lvalue signed int
4415	to signed int
4416	cost is( 0, 0, 0 )
4417	Case +++++++++++++
4418	formals are:
4419	signed int
4420	signed int
4421	signed int
4422	signed int
4423	actuals are:
4424	Variable Expression: q: tuple of types
4425	signed int
4426	signed int
4427
4428
4429	Variable Expression: q: tuple of types
4430	signed int
4431	signed int
4432
4433
4434	bindings are:
4435	cost of conversion is:( 0, 0, 0 )
4436	actual expression:
4437	Variable Expression: q: tuple of types
4438	signed int
4439	signed int
4440	float
4441
4442	--- results are
4443	lvalue signed int
4444	lvalue signed int
4445	lvalue float
4446
4447	converting lvalue signed int
4448	to signed int
4449	cost is( 0, 0, 0 )
4450
4451	converting lvalue signed int
4452	to signed int
4453	cost is( 0, 0, 0 )
4454
4455	converting lvalue float
4456	to signed int
4457	cost is( 1, 0, 0 )
4458	actual expression:
4459	Variable Expression: q: tuple of types
4460	char
4461
4462	--- results are
4463	lvalue char
4464
4465	converting lvalue char
4466	to signed int
4467	cost is( 0, 0, 4 )
4468	Case +++++++++++++
4469	formals are:
4470	signed int
4471	signed int
4472	signed int
4473	signed int
4474	actuals are:
4475	Cast of:
4476	Variable Expression: q: tuple of types
4477	signed int
4478	signed int
4479	float
4480
4481
4482	to:
4483	signed int
4484	signed int
4485	signed int
4486
4487	Cast of:
4488	Variable Expression: q: tuple of types
4489	char
4490
4491
4492	to:
4493	signed int
4494
4495	bindings are:
4496	cost of conversion is:( 1, 0, 4 )
4497	alternatives before prune:
4498	Cost ( 1, 0, 4 ): Application of
4499	Variable Expression: r: function
4500	with parameters
4501	signed int
4502	signed int
4503	signed int
4504	signed int
4505	returning
4506	signed int
4507	signed int
4508
4509	to arguments
4510	Cast of:
4511	Variable Expression: q: tuple of types
4512	char
4513
4514
4515	to:
4516	signed int
4517
4518	Cast of:
4519	Variable Expression: q: tuple of types
4520	signed int
4521	signed int
4522	float
4523
4524
4525	to:
4526	signed int
4527	signed int
4528	signed int
4529
4530	(types:
4531	signed int
4532	signed int
4533	)
4534	Environment:
4535
4536	Cost ( 0, 0, 0 ): Application of
4537	Variable Expression: r: function
4538	with parameters
4539	signed int
4540	signed int
4541	signed int
4542	signed int
4543	returning
4544	signed int
4545	signed int
4546
4547	to arguments
4548	Variable Expression: q: tuple of types
4549	signed int
4550	signed int
4551
4552
4553	Variable Expression: q: tuple of types
4554	signed int
4555	signed int
4556
4557
4558	(types:
4559	signed int
4560	signed int
4561	)
4562	Environment:
4563
4564	Cost ( 1, 0, 4 ): Application of
4565	Variable Expression: r: function
4566	with parameters
4567	signed int
4568	signed int
4569	signed int
4570	signed int
4571	returning
4572	signed int
4573	signed int
4574
4575	to arguments
4576	Cast of:
4577	Variable Expression: q: tuple of types
4578	signed int
4579	signed int
4580	float
4581
4582
4583	to:
4584	signed int
4585	signed int
4586	signed int
4587
4588	Cast of:
4589	Variable Expression: q: tuple of types
4590	char
4591
4592
4593	to:
4594	signed int
4595
4596	(types:
4597	signed int
4598	signed int
4599	)
4600	Environment:
4601
4602	cost ( 0, 0, 0 ) beats ( 1, 0, 4 )
4603	there are 1 alternatives before elimination
4604	there are 1 alternatives after elimination
4605	findSubExprs
4606	Cost ( 0, 0, 0 ): Application of
4607	Variable Expression: r: function
4608	with parameters
4609	signed int
4610	signed int
4611	signed int
4612	signed int
4613	returning
4614	signed int
4615	signed int
4616
4617	to arguments
4618	Variable Expression: q: tuple of types
4619	signed int
4620	signed int
4621
4622
4623	Variable Expression: q: tuple of types
4624	signed int
4625	signed int
4626
4627
4628	(types:
4629	signed int
4630	signed int
4631	)
4632	Environment:
4633
4634	working on alternative:
4635	Cost ( 0, 0, 0 ): Variable Expression: r: function
4636	with parameters
4637	signed int
4638	signed int
4639	signed int
4640	signed int
4641	returning
4642	signed int
4643	signed int
4644
4645	(types:
4646	pointer to function
4647	with parameters
4648	signed int
4649	signed int
4650	signed int
4651	signed int
4652	returning
4653	signed int
4654	signed int
4655
4656	)
4657	Environment:
4658	formal type is signed int
4659	actual type is signed int
4660	formal type is signed int
4661	actual type is signed int
4662	formal type is signed int
4663	actual type is signed int
4664	formal type is signed int
4665	actual type is signed int
4666	need assertions:
4667	============= original indexer
4668	===idTable===
4669	===typeTable===
4670	===structTable===
4671	===enumTable===
4672	===unionTable===
4673	===contextTable===
4674	============= new indexer
4675	===idTable===
4676	===typeTable===
4677	===structTable===
4678	===enumTable===
4679	===unionTable===
4680	===contextTable===
4681	actual expression:
4682	Application of
4683	Variable Expression: r: function
4684	with parameters
4685	signed int
4686	signed int
4687	signed int
4688	signed int
4689	returning
4690	signed int
4691	signed int
4692
4693	to arguments
4694	Variable Expression: p: tuple of types
4695	signed int
4696	signed int
4697	signed int
4698
4699
4700	Cast of:
4701	Variable Expression: q: tuple of types
4702	char
4703
4704
4705	to:
4706	signed int
4707
4708	--- results are
4709	signed int
4710	signed int
4711
4712	converting signed int
4713	to signed int
4714	cost is( 0, 0, 0 )
4715
4716	converting signed int
4717	to signed int
4718	cost is( 0, 0, 0 )
4719	actual expression:
4720	Application of
4721	Variable Expression: r: function
4722	with parameters
4723	signed int
4724	signed int
4725	signed int
4726	signed int
4727	returning
4728	signed int
4729	signed int
4730
4731	to arguments
4732	Variable Expression: q: tuple of types
4733	signed int
4734	signed int
4735
4736
4737	Variable Expression: q: tuple of types
4738	signed int
4739	signed int
4740
4741
4742	--- results are
4743	signed int
4744	signed int
4745
4746	converting signed int
4747	to signed int
4748	cost is( 0, 0, 0 )
4749
4750	converting signed int
4751	to signed int
4752	cost is( 0, 0, 0 )
4753	Case +++++++++++++
4754	formals are:
4755	signed int
4756	signed int
4757	signed int
4758	signed int
4759	actuals are:
4760	Application of
4761	Variable Expression: r: function
4762	with parameters
4763	signed int
4764	signed int
4765	signed int
4766	signed int
4767	returning
4768	signed int
4769	signed int
4770
4771	to arguments
4772	Variable Expression: p: tuple of types
4773	signed int
4774	signed int
4775	signed int
4776
4777
4778	Cast of:
4779	Variable Expression: q: tuple of types
4780	char
4781
4782
4783	to:
4784	signed int
4785
4786
4787	Application of
4788	Variable Expression: r: function
4789	with parameters
4790	signed int
4791	signed int
4792	signed int
4793	signed int
4794	returning
4795	signed int
4796	signed int
4797
4798	to arguments
4799	Variable Expression: q: tuple of types
4800	signed int
4801	signed int
4802
4803
4804	Variable Expression: q: tuple of types
4805	signed int
4806	signed int
4807
4808
4809
4810	bindings are:
4811	cost of conversion is:( 0, 0, 0 )
4812	alternatives before prune:
4813	Cost ( 0, 0, 0 ): Application of
4814	Variable Expression: r: function
4815	with parameters
4816	signed int
4817	signed int
4818	signed int
4819	signed int
4820	returning
4821	signed int
4822	signed int
4823
4824	to arguments
4825	Application of
4826	Variable Expression: r: function
4827	with parameters
4828	signed int
4829	signed int
4830	signed int
4831	signed int
4832	returning
4833	signed int
4834	signed int
4835
4836	to arguments
4837	Variable Expression: p: tuple of types
4838	signed int
4839	signed int
4840	signed int
4841
4842
4843	Cast of:
4844	Variable Expression: q: tuple of types
4845	char
4846
4847
4848	to:
4849	signed int
4850
4851
4852	Application of
4853	Variable Expression: r: function
4854	with parameters
4855	signed int
4856	signed int
4857	signed int
4858	signed int
4859	returning
4860	signed int
4861	signed int
4862
4863	to arguments
4864	Variable Expression: q: tuple of types
4865	signed int
4866	signed int
4867
4868
4869	Variable Expression: q: tuple of types
4870	signed int
4871	signed int
4872
4873
4874
4875	(types:
4876	signed int
4877	signed int
4878	)
4879	Environment:
4880
4881	there are 1 alternatives before elimination
4882	there are 1 alternatives after elimination
4883	alternatives before prune:
4884	Cost ( 0, 0, 2 ): Cast of:
4885	Application of
4886	Variable Expression: r: function
4887	with parameters
4888	signed int
4889	signed int
4890	signed int
4891	signed int
4892	returning
4893	signed int
4894	signed int
4895
4896	to arguments
4897	Application of
4898	Variable Expression: r: function
4899	with parameters
4900	signed int
4901	signed int
4902	signed int
4903	signed int
4904	returning
4905	signed int
4906	signed int
4907
4908	to arguments
4909	Variable Expression: p: tuple of types
4910	signed int
4911	signed int
4912	signed int
4913
4914
4915	Cast of:
4916	Variable Expression: q: tuple of types
4917	char
4918
4919
4920	to:
4921	signed int
4922
4923
4924	Application of
4925	Variable Expression: r: function
4926	with parameters
4927	signed int
4928	signed int
4929	signed int
4930	signed int
4931	returning
4932	signed int
4933	signed int
4934
4935	to arguments
4936	Variable Expression: q: tuple of types
4937	signed int
4938	signed int
4939
4940
4941	Variable Expression: q: tuple of types
4942	signed int
4943	signed int
4944
4945
4946
4947
4948	to:
4949	nothing
4950	(types:
4951	)
4952	Environment:
4953
4954	there are 1 alternatives before elimination
4955	there are 1 alternatives after elimination
4956	cfa-cpp: GenPoly/Box.cc:401: void GenPoly::{anonymous}::Pass1::boxParams(ApplicationExpr, FunctionType, std::list<Expression*>::iterator&, const TyVarMap&): Assertion `arg != appExpr->get_args().end()' failed.
4957	Aborted (core dumped)

Note: See TracBrowser for help on using the repository browser.

Download in other formats: