should_compile\indexed-types\tests\testsuite - delta/haskell.git

Mode	Name	Size
-rw-r--r--	ATLoop.hs	449	log plain
-rw-r--r--	ATLoop_help.hs	207	log plain
-rw-r--r--	Class1.hs	341	log plain
-rw-r--r--	Class2.hs	249	log plain
-rw-r--r--	Class3.hs	136	log plain
-rw-r--r--	Class3.stderr	121	log plain
-rw-r--r--	ClassEqContext.hs	106	log plain
-rw-r--r--	ClassEqContext2.hs	131	log plain
-rw-r--r--	ClassEqContext3.hs	144	log plain
-rw-r--r--	CoTest3.hs	621	log plain
-rw-r--r--	Col.hs	232	log plain
-rw-r--r--	Col2.hs	272	log plain
-rw-r--r--	ColGivenCheck.hs	380	log plain
-rw-r--r--	ColGivenCheck2.hs	651	log plain
-rw-r--r--	ColInference.hs	316	log plain
-rw-r--r--	ColInference2.hs	320	log plain
-rw-r--r--	ColInference3.hs	776	log plain
-rw-r--r--	ColInference4.hs	320	log plain
-rw-r--r--	ColInference5.hs	320	log plain
-rw-r--r--	ColInference6.hs	183	log plain
-rw-r--r--	DataFamDeriv.hs	198	log plain
-rw-r--r--	Deriving.hs	459	log plain
-rw-r--r--	DerivingNewType.hs	243	log plain
-rw-r--r--	Exp.hs	147	log plain
-rw-r--r--	GADT1.hs	544	log plain
-rw-r--r--	GADT10.hs	1476	log plain
-rw-r--r--	GADT11.hs	406	log plain
-rw-r--r--	GADT12.hs	964	log plain
-rw-r--r--	GADT12.stderr	0	log plain
-rw-r--r--	GADT13.hs	144	log plain
-rw-r--r--	GADT14.hs	275	log plain
-rw-r--r--	GADT2.hs	234	log plain
-rw-r--r--	GADT3.hs	524	log plain
-rw-r--r--	GADT4.hs	171	log plain
-rw-r--r--	GADT5.hs	183	log plain
-rw-r--r--	GADT6.hs	223	log plain
-rw-r--r--	GADT7.hs	290	log plain
-rw-r--r--	GADT8.hs	232	log plain
-rw-r--r--	GADT9.hs	274	log plain
-rw-r--r--	Gentle.hs	1741	log plain
-rw-r--r--	Gentle.stderr	0	log plain
-rw-r--r--	GivenCheck.hs	179	log plain
-rw-r--r--	GivenCheckDecomp.hs	167	log plain
-rw-r--r--	GivenCheckSwap.hs	187	log plain
-rw-r--r--	GivenCheckTop.hs	171	log plain
-rw-r--r--	HO.hs	421	log plain
-rw-r--r--	Imp.hs	149	log plain
-rw-r--r--	Ind2_help.hs	274	log plain
-rw-r--r--	IndTypesPerf.hs	296	log plain
-rw-r--r--	IndTypesPerfMerge.hs	4069	log plain
-rw-r--r--	Infix.hs	169	log plain
-rw-r--r--	InstContextNorm.hs	655	log plain
-rw-r--r--	InstEqContext.hs	218	log plain
-rw-r--r--	InstEqContext2.hs	225	log plain
-rw-r--r--	InstEqContext3.hs	277	log plain
-rw-r--r--	Kind.hs	125	log plain
-rw-r--r--	Makefile	483	log plain
-rw-r--r--	NewTyCo1.hs	142	log plain
-rw-r--r--	NewTyCo2.hs	89	log plain
-rw-r--r--	NonLinearLHS.hs	848	log plain
-rw-r--r--	Numerals.hs	627	log plain
-rw-r--r--	OversatDecomp.hs	232	log plain
-rw-r--r--	PushedInAsGivens.hs	750	log plain
-rw-r--r--	Records.hs	749	log plain
-rw-r--r--	Refl.hs	327	log plain
-rw-r--r--	Refl2.hs	404	log plain
-rw-r--r--	RelaxedExamples.hs	263	log plain
-rw-r--r--	Roman1.hs	917	log plain
-rw-r--r--	Rules1.hs	381	log plain
-rw-r--r--	Simple1.hs	228	log plain
-rw-r--r--	Simple10.hs	123	log plain
-rw-r--r--	Simple11.hs	244	log plain
-rw-r--r--	Simple12.hs	267	log plain
-rw-r--r--	Simple13.hs	296	log plain
-rw-r--r--	Simple14.hs	566	log plain
-rw-r--r--	Simple14.stderr	566	log plain
-rw-r--r--	Simple15.hs	328	log plain
-rw-r--r--	Simple16.hs	325	log plain
-rw-r--r--	Simple17.hs	139	log plain
-rw-r--r--	Simple18.hs	122	log plain
-rw-r--r--	Simple19.hs	257	log plain
-rw-r--r--	Simple2.hs	914	log plain
-rw-r--r--	Simple2.stderr	1227	log plain
-rw-r--r--	Simple20.hs	145	log plain
-rw-r--r--	Simple20.stderr	117	log plain
-rw-r--r--	Simple21.hs	436	log plain
-rw-r--r--	Simple22.hs	213	log plain
-rw-r--r--	Simple23.hs	115	log plain
-rw-r--r--	Simple24.hs	264	log plain
-rw-r--r--	Simple3.hs	198	log plain
-rw-r--r--	Simple4.hs	147	log plain
-rw-r--r--	Simple5.hs	389	log plain
-rw-r--r--	Simple6.hs	262	log plain
-rw-r--r--	Simple7.hs	200	log plain
-rw-r--r--	Simple8.hs	274	log plain
-rw-r--r--	Simple9.hs	277	log plain
-rw-r--r--	T1769.hs	292	log plain
-rw-r--r--	T1981.hs	113	log plain
-rw-r--r--	T2102.hs	546	log plain
-rw-r--r--	T2203b.hs	445	log plain
-rw-r--r--	T2219.hs	582	log plain
-rw-r--r--	T2238.hs	803	log plain
-rw-r--r--	T2291.hs	484	log plain
-rw-r--r--	T2448.hs	425	log plain
-rw-r--r--	T2627.hs	524	log plain
-rw-r--r--	T2639.hs	340	log plain
-rw-r--r--	T2715.hs	900	log plain
-rw-r--r--	T2767.hs	760	log plain
-rw-r--r--	T2850.hs	423	log plain
-rw-r--r--	T2944.hs	149	log plain
-rw-r--r--	T3017.hs	345	log plain
-rw-r--r--	T3017.stderr	615	log plain
-rw-r--r--	T3023.hs	365	log plain
-rw-r--r--	T3023.stderr	106	log plain
-rw-r--r--	T3208a.hs	224	log plain
-rw-r--r--	T3208b.hs	501	log plain
-rw-r--r--	T3208b.stderr	872	log plain
-rw-r--r--	T3220.hs	537	log plain
-rw-r--r--	T3418.hs	110	log plain
-rw-r--r--	T3418.stderr	150	log plain
-rw-r--r--	T3423.hs	342	log plain
-rw-r--r--	T3460.hs	286	log plain
-rw-r--r--	T3484.hs	1406	log plain
-rw-r--r--	T3590.hs	542	log plain
-rw-r--r--	T3787.hs	27204	log plain
-rw-r--r--	T3826.hs	210	log plain
-rw-r--r--	T3851.hs	537	log plain
-rw-r--r--	T4120.hs	681	log plain
-rw-r--r--	T4120.stderr	328	log plain
-rw-r--r--	T4160.hs	721	log plain
-rw-r--r--	T4178.hs	652	log plain
-rw-r--r--	T4200.hs	239	log plain
-rw-r--r--	T4338.hs	492	log plain
-rw-r--r--	T4356.hs	140	log plain
-rw-r--r--	T4358.hs	197	log plain
-rw-r--r--	T4484.hs	674	log plain
-rw-r--r--	T4492.hs	254	log plain
-rw-r--r--	T4494.hs	272	log plain
-rw-r--r--	T4497.hs	311	log plain
-rw-r--r--	T4935.hs	832	log plain
-rw-r--r--	T4981-V1.hs	916	log plain
-rw-r--r--	T4981-V2.hs	846	log plain
-rw-r--r--	T4981-V3.hs	840	log plain
-rw-r--r--	T5002.hs	638	log plain
-rw-r--r--	TF_GADT.hs	410	log plain
-rw-r--r--	all.T	6141	log plain
-rw-r--r--	impexp.stderr	108	log plain
-rw-r--r--	ind1.hs	249	log plain
-rw-r--r--	ind2.hs	159	log plain