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

Mode	Name	Size
-rw-r--r--	ATLoop.hs	427	log plain
-rw-r--r--	ATLoop_help.hs	225	log plain
-rw-r--r--	Class1.hs	372	log plain
-rw-r--r--	Class2.hs	301	log plain
-rw-r--r--	Class3.hs	136	log plain
-rw-r--r--	Class3.stderr	169	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--	ClosedFam1.hs	137	log plain
-rw-r--r--	ClosedFam1.hs-boot	132	log plain
-rw-r--r--	ClosedFam1a.hs	59	log plain
-rw-r--r--	ClosedFam2.hs	137	log plain
-rw-r--r--	ClosedFam2.hs-boot	83	log plain
-rw-r--r--	ClosedFam2a.hs	58	log plain
-rw-r--r--	CoTest3.hs	593	log plain
-rw-r--r--	Col.hs	232	log plain
-rw-r--r--	Col2.hs	271	log plain
-rw-r--r--	ColGivenCheck.hs	413	log plain
-rw-r--r--	ColGivenCheck2.hs	696	log plain
-rw-r--r--	ColInference.hs	349	log plain
-rw-r--r--	ColInference2.hs	332	log plain
-rw-r--r--	ColInference3.hs	817	log plain
-rw-r--r--	ColInference4.hs	332	log plain
-rw-r--r--	ColInference5.hs	332	log plain
-rw-r--r--	ColInference6.hs	201	log plain
-rw-r--r--	DataFamDeriv.hs	198	log plain
-rw-r--r--	Deriving.hs	473	log plain
-rw-r--r--	DerivingNewType.hs	337	log plain
-rw-r--r--	Exp.hs	147	log plain
-rw-r--r--	ExplicitForAllFams1.hs	713	log plain
-rw-r--r--	ExplicitForAllFams2.hs	892	log plain
-rw-r--r--	ExplicitForAllFams2.stderr	542	log plain
-rw-r--r--	GADT1.hs	774	log plain
-rw-r--r--	GADT10.hs	1476	log plain
-rw-r--r--	GADT11.hs	406	log plain
-rw-r--r--	GADT12.hs	1013	log plain
-rw-r--r--	GADT13.hs	172	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	190	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	1946	log plain
-rw-r--r--	GivenCheck.hs	191	log plain
-rw-r--r--	GivenCheckDecomp.hs	171	log plain
-rw-r--r--	GivenCheckSwap.hs	199	log plain
-rw-r--r--	GivenCheckTop.hs	171	log plain
-rw-r--r--	HO.hs	492	log plain
-rw-r--r--	Imp.hs	149	log plain
-rw-r--r--	Ind2_help.hs	302	log plain
-rw-r--r--	IndTypesPerf.hs	345	log plain
-rw-r--r--	IndTypesPerfMerge.hs	5140	log plain
-rw-r--r--	Infix.hs	169	log plain
-rw-r--r--	InstContextNorm.hs	761	log plain
-rw-r--r--	InstEqContext.hs	272	log plain
-rw-r--r--	InstEqContext2.hs	277	log plain
-rw-r--r--	InstEqContext3.hs	330	log plain
-rw-r--r--	Kind.hs	156	log plain
-rw-r--r--	Makefile	1215	log plain
-rw-r--r--	NewTyCo1.hs	142	log plain
-rw-r--r--	NewTyCo2.hs	89	log plain
-rw-r--r--	NonLinearLHS.hs	1014	log plain
-rw-r--r--	Numerals.hs	648	log plain
-rw-r--r--	Overlap1.hs	144	log plain
-rw-r--r--	Overlap12.hs	468	log plain
-rw-r--r--	Overlap13.hs	161	log plain
-rw-r--r--	Overlap14.hs	183	log plain
-rw-r--r--	Overlap2.hs	166	log plain
-rw-r--r--	OversatDecomp.hs	287	log plain
-rw-r--r--	PushInAsGivens.stderr	1	log plain
-rw-r--r--	PushedInAsGivens.hs	1048	log plain
-rw-r--r--	PushedInAsGivens.stderr	1445	log plain
-rw-r--r--	Records.hs	747	log plain
-rw-r--r--	Refl.hs	358	log plain
-rw-r--r--	Refl2.hs	441	log plain
-rw-r--r--	RelaxedExamples.hs	263	log plain
-rw-r--r--	Roman1.hs	995	log plain
-rw-r--r--	Rules1.hs	527	log plain
-rw-r--r--	Simple1.hs	262	log plain
-rw-r--r--	Simple10.hs	123	log plain
-rw-r--r--	Simple11.hs	244	log plain
-rw-r--r--	Simple12.hs	266	log plain
-rw-r--r--	Simple13.hs	768	log plain
-rw-r--r--	Simple14.hs	621	log plain
-rw-r--r--	Simple14.stderr	704	log plain
-rw-r--r--	Simple15.hs	337	log plain
-rw-r--r--	Simple16.hs	354	log plain
-rw-r--r--	Simple17.hs	139	log plain
-rw-r--r--	Simple18.hs	122	log plain
-rw-r--r--	Simple19.hs	292	log plain
-rw-r--r--	Simple2.hs	934	log plain
-rw-r--r--	Simple2.stderr	1334	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	344	log plain
-rw-r--r--	Simple3.hs	226	log plain
-rw-r--r--	Simple4.hs	178	log plain
-rw-r--r--	Simple5.hs	417	log plain
-rw-r--r--	Simple6.hs	298	log plain
-rw-r--r--	Simple7.hs	228	log plain
-rw-r--r--	Simple8.hs	277	log plain
-rw-r--r--	Simple9.hs	308	log plain
-rw-r--r--	Sock.hs	1427	log plain
-rw-r--r--	T10020.hs	120	log plain
-rw-r--r--	T10079.hs	489	log plain
-rw-r--r--	T10139.hs	1165	log plain
-rw-r--r--	T10226.hs	2722	log plain
-rw-r--r--	T10318.hs	904	log plain
-rw-r--r--	T10340.hs	300	log plain
-rw-r--r--	T10507.hs	560	log plain
-rw-r--r--	T10634.hs	634	log plain
-rw-r--r--	T10713.hs	234	log plain
-rw-r--r--	T10753.hs	718	log plain
-rw-r--r--	T10806.hs	281	log plain
-rw-r--r--	T10806.stderr	363	log plain
-rw-r--r--	T10815.hs	281	log plain
-rw-r--r--	T10931.hs	616	log plain
-rw-r--r--	T11067.hs	1291	log plain
-rw-r--r--	T11187.hs	353	log plain
-rw-r--r--	T11361.hs	786	log plain
-rw-r--r--	T11361a.hs	142	log plain
-rw-r--r--	T11361a.stderr	193	log plain
-rw-r--r--	T11408.hs	502	log plain
-rw-r--r--	T11581.hs	163	log plain
-rw-r--r--	T12175.hs	747	log plain
-rw-r--r--	T12369.hs	1151	log plain
-rw-r--r--	T12444a.hs	261	log plain
-rw-r--r--	T12522.hs	955	log plain
-rw-r--r--	T12522b.hs	473	log plain
-rw-r--r--	T12526.hs	1133	log plain
-rw-r--r--	T12538.hs	946	log plain
-rw-r--r--	T12538.stderr	569	log plain
-rw-r--r--	T12676.hs	149	log plain
-rw-r--r--	T12938.hs	121	log plain
d---------	T13092b	149	log plain
-rw-r--r--	T13244.hs	684	log plain
-rw-r--r--	T13398a.hs	509	log plain
-rw-r--r--	T13398b.hs	225	log plain
-rw-r--r--	T13662.hs	518	log plain
-rw-r--r--	T13705.hs	189	log plain
-rw-r--r--	T13777.hs	444	log plain
-rw-r--r--	T14045.hs	211	log plain
-rw-r--r--	T14131.hs	721	log plain
-rw-r--r--	T14162.hs	1025	log plain
-rw-r--r--	T14164.hs	313	log plain
-rw-r--r--	T14237.hs	146	log plain
-rw-r--r--	T14554.hs	819	log plain
-rw-r--r--	T14680.hs	619	log plain
-rw-r--r--	T15057.hs	264	log plain
-rw-r--r--	T15122.hs	336	log plain
-rw-r--r--	T15142.hs	273	log plain
-rw-r--r--	T15144.hs	353	log plain
-rw-r--r--	T15318.hs	212	log plain
-rw-r--r--	T15322.hs	334	log plain
-rw-r--r--	T15322.stderr	407	log plain
-rw-r--r--	T15322a.hs	319	log plain
-rw-r--r--	T15322a.stderr	444	log plain
-rw-r--r--	T15352.hs	702	log plain
-rw-r--r--	T15664.hs	331	log plain
-rw-r--r--	T15704.hs	186	log plain
-rw-r--r--	T15711.hs	111	log plain
-rw-r--r--	T15711.stderr	248	log plain
-rw-r--r--	T15740a.hs	201	log plain
-rw-r--r--	T15764a.hs	339	log plain
-rw-r--r--	T15852.hs	213	log plain
-rw-r--r--	T15852.stderr	484	log plain
-rw-r--r--	T15943.hs	878	log plain
-rw-r--r--	T1769.hs	278	log plain
-rw-r--r--	T1981.hs	120	log plain
-rw-r--r--	T2102.hs	546	log plain
-rw-r--r--	T2203b.hs	445	log plain
-rw-r--r--	T2219.hs	610	log plain
-rw-r--r--	T2238.hs	803	log plain
-rw-r--r--	T2291.hs	873	log plain
-rw-r--r--	T2448.hs	505	log plain
-rw-r--r--	T2627.hs	524	log plain
-rw-r--r--	T2639.hs	340	log plain
-rw-r--r--	T2715.hs	1021	log plain
-rw-r--r--	T2767.hs	791	log plain
-rw-r--r--	T2850.hs	517	log plain
-rw-r--r--	T2944.hs	177	log plain
-rw-r--r--	T3017.hs	345	log plain
-rw-r--r--	T3017.stderr	754	log plain
-rw-r--r--	T3023.hs	417	log plain
-rw-r--r--	T3023.stderr	125	log plain
-rw-r--r--	T3208a.hs	224	log plain
-rw-r--r--	T3208b.hs	795	log plain
-rw-r--r--	T3208b.stderr	723	log plain
-rw-r--r--	T3220.hs	566	log plain
-rw-r--r--	T3418.hs	110	log plain
-rw-r--r--	T3418.stderr	150	log plain
-rw-r--r--	T3423.hs	329	log plain
-rw-r--r--	T3460.hs	286	log plain
-rw-r--r--	T3484.hs	1448	log plain
-rw-r--r--	T3590.hs	578	log plain
-rw-r--r--	T3787.hs	27422	log plain
-rw-r--r--	T3787.stderr	135	log plain
-rw-r--r--	T3826.hs	913	log plain
-rw-r--r--	T3851.hs	550	log plain
-rw-r--r--	T4120.hs	719	log plain
-rw-r--r--	T4160.hs	937	log plain
-rw-r--r--	T4178.hs	687	log plain
-rw-r--r--	T4185.hs	1184	log plain
-rw-r--r--	T4200.hs	314	log plain
-rw-r--r--	T4338.hs	1015	log plain
-rw-r--r--	T4356.hs	174	log plain
-rw-r--r--	T4358.hs	197	log plain
-rw-r--r--	T4484.hs	714	log plain
-rw-r--r--	T4492.hs	254	log plain
-rw-r--r--	T4494.hs	475	log plain
-rw-r--r--	T4497.hs	348	log plain
-rw-r--r--	T4935.hs	832	log plain
-rw-r--r--	T4981-V1.hs	942	log plain
-rw-r--r--	T4981-V2.hs	875	log plain
-rw-r--r--	T4981-V3.hs	1201	log plain
-rw-r--r--	T5002.hs	863	log plain
-rw-r--r--	T5591a.hs	635	log plain
-rw-r--r--	T5591b.hs	468	log plain
-rw-r--r--	T5955.hs	55	log plain
-rw-r--r--	T5955a.hs	229	log plain
-rw-r--r--	T6088.hs	311	log plain
-rw-r--r--	T6152.hs	207	log plain
-rw-r--r--	T7082.hs	291	log plain
-rw-r--r--	T7156.hs	127	log plain
-rw-r--r--	T7280.hs	486	log plain
-rw-r--r--	T7282.hs	203	log plain
-rw-r--r--	T7474.hs	322	log plain
-rw-r--r--	T7489.hs	305	log plain
-rw-r--r--	T7585.hs	555	log plain
-rw-r--r--	T7786.hs	4196	log plain
-rw-r--r--	T7804.hs	338	log plain
-rw-r--r--	T7837.hs	573	log plain
-rw-r--r--	T7837.stderr	256	log plain
-rw-r--r--	T8002.hs	64	log plain
-rw-r--r--	T8002a.hs	212	log plain
-rw-r--r--	T8002b.hs	97	log plain
-rw-r--r--	T8011.hs	257	log plain
-rw-r--r--	T8011a.hs	203	log plain
-rw-r--r--	T8018.hs	115	log plain
-rw-r--r--	T8020.hs	248	log plain
-rw-r--r--	T8500.hs	128	log plain
-rw-r--r--	T8500a.hs	98	log plain
-rw-r--r--	T8651.hs	242	log plain
-rw-r--r--	T8889.hs	267	log plain
-rw-r--r--	T8889.stderr	160	log plain
-rw-r--r--	T8913.hs	361	log plain
-rw-r--r--	T8978.hs	292	log plain
-rw-r--r--	T8979.hs	137	log plain
-rw-r--r--	T9085.hs	101	log plain
-rw-r--r--	T9085.stderr	120	log plain
-rw-r--r--	T9090.hs	733	log plain
-rw-r--r--	T9211.hs	254	log plain
-rw-r--r--	T9316.hs	2822	log plain
-rw-r--r--	T9582.hs	303	log plain
-rw-r--r--	T9662.hs	1171	log plain
-rw-r--r--	T9747.hs	1211	log plain
-rw-r--r--	T9840.hs	204	log plain
-rw-r--r--	T9840.hs-boot	327	log plain
-rw-r--r--	T9840a.hs	131	log plain
-rw-r--r--	TF_GADT.hs	389	log plain
-rw-r--r--	UnusedTyVarWarnings.hs	935	log plain
-rw-r--r--	UnusedTyVarWarnings.stderr	541	log plain
-rw-r--r--	UnusedTyVarWarningsNamedWCs.hs	959	log plain
-rw-r--r--	UnusedTyVarWarningsNamedWCs.stderr	573	log plain
-rw-r--r--	all.T	10292	log plain
-rw-r--r--	impexp.stderr	108	log plain
-rw-r--r--	ind1.hs	277	log plain
-rw-r--r--	ind2.hs	159	log plain
-rw-r--r--	red-black-delete.hs	11846	log plain