Context Navigation

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

Visit:

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

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

Rev	Line
[b1d6dd5]	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
[68cd1ce]	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.
[b1d6dd5]	4957	Aborted (core dumped)

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

Download in other formats: