should_compile\typecheck\tests\testsuite - delta/haskell.git

Mode	Name	Size
-rw-r--r--	DfltProb1.hs	225	log plain
-rw-r--r--	DfltProb2.hs	668	log plain
-rw-r--r--	ExPat.hs	311	log plain
-rw-r--r--	ExPatFail.hs	249	log plain
-rw-r--r--	ExPatFail.stderr	629	log plain
-rw-r--r--	FD1.hs	473	log plain
-rw-r--r--	FD1.stderr	443	log plain
-rw-r--r--	FD2.hs	832	log plain
-rw-r--r--	FD2.stderr	893	log plain
-rw-r--r--	FD3.hs	381	log plain
-rw-r--r--	FD3.stderr	522	log plain
-rw-r--r--	FD4.hs	570	log plain
-rw-r--r--	GivenOverlapping.hs	450	log plain
-rw-r--r--	GivenTypeSynonym.hs	148	log plain
-rw-r--r--	HasKey.hs	574	log plain
-rw-r--r--	HasKey.stderr	202	log plain
-rw-r--r--	Improvement.hs	602	log plain
-rw-r--r--	LoopOfTheDay1.hs	926	log plain
-rw-r--r--	LoopOfTheDay2.hs	1118	log plain
-rw-r--r--	LoopOfTheDay3.hs	674	log plain
-rw-r--r--	Makefile	2557	log plain
-rw-r--r--	MissingExportList01.hs	116	log plain
-rw-r--r--	MissingExportList02.hs	113	log plain
-rw-r--r--	MutRec.hs	172	log plain
-rw-r--r--	PolyRec.hs	710	log plain
-rw-r--r--	PolytypeDecomp.hs	956	log plain
-rw-r--r--	PushHRIf.hs	131	log plain
-rw-r--r--	RebindHR.hs	925	log plain
-rw-r--r--	RebindNegate.hs	118	log plain
-rw-r--r--	RepArrow.hs	254	log plain
-rw-r--r--	SigTyVars.hs	306	log plain
-rw-r--r--	SplitWD.hs	1690	log plain
-rw-r--r--	T10009.hs	2743	log plain
-rw-r--r--	T10031.hs	182	log plain
-rw-r--r--	T10072.hs	83	log plain
-rw-r--r--	T10072.stderr	393	log plain
-rw-r--r--	T10100.hs	317	log plain
-rw-r--r--	T10109.hs	319	log plain
-rw-r--r--	T10156.hs	290	log plain
-rw-r--r--	T10177.hs	347	log plain
-rw-r--r--	T10184.hs	153	log plain
-rw-r--r--	T10185.hs	157	log plain
-rw-r--r--	T10195.hs	897	log plain
-rw-r--r--	T10283.hs	730	log plain
-rw-r--r--	T10335.hs	255	log plain
-rw-r--r--	T10347.hs	349	log plain
-rw-r--r--	T10348.hs	626	log plain
-rw-r--r--	T10390.hs	471	log plain
-rw-r--r--	T10423.hs	207	log plain
-rw-r--r--	T10428.hs	128	log plain
-rw-r--r--	T10432.hs	625	log plain
-rw-r--r--	T10489.hs	124	log plain
-rw-r--r--	T10493.hs	182	log plain
-rw-r--r--	T10494.hs	94	log plain
-rw-r--r--	T10562.hs	341	log plain
-rw-r--r--	T10564.hs	661	log plain
-rw-r--r--	T10589.hs	162	log plain
-rw-r--r--	T10592.hs	2430	log plain
-rw-r--r--	T10632.hs	176	log plain
-rw-r--r--	T10632.stderr	173	log plain
-rw-r--r--	T10635.hs	436	log plain
-rw-r--r--	T10642.hs	206	log plain
-rw-r--r--	T10744.hs	256	log plain
-rw-r--r--	T10770a.hs	150	log plain
-rw-r--r--	T10770b.hs	247	log plain
-rw-r--r--	T10935.hs	101	log plain
-rw-r--r--	T10935.stderr	286	log plain
-rw-r--r--	T10971a.hs	237	log plain
-rw-r--r--	T10971a.stderr	1792	log plain
-rw-r--r--	T11056.hs	256	log plain
-rw-r--r--	T11062.hs	81	log plain
-rw-r--r--	T11062.hs-boot	66	log plain
-rw-r--r--	T11062a.hs	107	log plain
-rw-r--r--	T1123.hs	727	log plain
-rw-r--r--	T11237.hs	263	log plain
-rw-r--r--	T11246.hs	55	log plain
-rw-r--r--	T11254.hs	548	log plain
-rw-r--r--	T11254.stderr	741	log plain
-rw-r--r--	T11305.hs	1678	log plain
-rw-r--r--	T11319.hs	202	log plain
-rw-r--r--	T11339.hs	1089	log plain
-rw-r--r--	T11339.stderr	558	log plain
-rw-r--r--	T11339b.hs	1101	log plain
-rw-r--r--	T11339c.hs	1079	log plain
-rw-r--r--	T11339d.hs	368	log plain
-rw-r--r--	T11348.hs	348	log plain
-rw-r--r--	T11379.hs	1081	log plain
-rw-r--r--	T11397.hs	1557	log plain
-rw-r--r--	T11401.hs	1126	log plain
-rw-r--r--	T11458.hs	105	log plain
-rw-r--r--	T11462.hs	104	log plain
-rw-r--r--	T11462_Plugin.hs	427	log plain
-rw-r--r--	T11480.hs	155	log plain
-rw-r--r--	T11512.hs	183	log plain
-rw-r--r--	T11524.hs	550	log plain
-rw-r--r--	T11525.hs	711	log plain
-rw-r--r--	T11525_Plugin.hs	427	log plain
-rw-r--r--	T11552.hs	588	log plain
-rw-r--r--	T11608.hs	451	log plain
-rw-r--r--	T11699.hs	99	log plain
-rw-r--r--	T11700.hs	413	log plain
-rw-r--r--	T11723.hs	143	log plain
-rw-r--r--	T11736.hs	103	log plain
-rw-r--r--	T11754.hs	765	log plain
-rw-r--r--	T11766.hs	839	log plain
-rw-r--r--	T11793.hs	152	log plain
-rw-r--r--	T11811.hs	149	log plain
-rw-r--r--	T11947.hs	322	log plain
-rw-r--r--	T11974.hs	80	log plain
-rw-r--r--	T11982a.hs	169	log plain
-rw-r--r--	T11982b.hs	367	log plain
-rw-r--r--	T11982c.hs	411	log plain
-rw-r--r--	T12045a.hs	1605	log plain
-rw-r--r--	T12064.hs	111	log plain
-rw-r--r--	T12064.hs-boot	27	log plain
-rw-r--r--	T12064a.hs	83	log plain
-rw-r--r--	T12067.hs	159	log plain
-rw-r--r--	T12067a.hs	115	log plain
-rw-r--r--	T12069.hs	85	log plain
-rw-r--r--	T12082.hs	211	log plain
-rw-r--r--	T12104.hs	183	log plain
-rw-r--r--	T12104.stderr	155	log plain
-rw-r--r--	T12133.hs	2244	log plain
-rw-r--r--	T12170b.hs	108	log plain
-rw-r--r--	T12170b.stderr	118	log plain
-rw-r--r--	T12185.hs	377	log plain
-rw-r--r--	T12381.hs	212	log plain
-rw-r--r--	T12427.stderr	1	log plain
-rw-r--r--	T12427a.hs	976	log plain
-rw-r--r--	T12427a.stderr	757	log plain
-rw-r--r--	T12427b.hs	445	log plain
-rw-r--r--	T12466.hs	168	log plain
-rw-r--r--	T12466a.hs	653	log plain
-rw-r--r--	T12507.hs	326	log plain
-rw-r--r--	T12644.hs	172	log plain
-rw-r--r--	T12734.hs	2632	log plain
-rw-r--r--	T12734a.hs	2574	log plain
-rw-r--r--	T12734a.stderr	329	log plain
-rw-r--r--	T12763.hs	225	log plain
-rw-r--r--	T12763.stderr	345	log plain
-rw-r--r--	T12785a.hs	295	log plain
-rw-r--r--	T12797.hs	395	log plain
-rw-r--r--	T12850.hs	196	log plain
-rw-r--r--	T12911.hs	194	log plain
-rw-r--r--	T12919.hs	379	log plain
-rw-r--r--	T12923.hs	492	log plain
-rw-r--r--	T12924.hs	623	log plain
-rw-r--r--	T12925.hs	176	log plain
-rw-r--r--	T12926.hs	495	log plain
-rw-r--r--	T12928.hs	345	log plain
-rw-r--r--	T12936.hs	595	log plain
-rw-r--r--	T12987.hs	117	log plain
-rw-r--r--	T13032.hs	312	log plain
-rw-r--r--	T13032.stderr	878	log plain
-rw-r--r--	T13050.hs	101	log plain
-rw-r--r--	T13050.stderr	12141	log plain
-rw-r--r--	T13083.hs	1966	log plain
-rw-r--r--	T13248.hs	323	log plain
-rw-r--r--	T13333.hs	888	log plain
-rw-r--r--	T13337.hs	601	log plain
-rw-r--r--	T13343.hs	231	log plain
-rw-r--r--	T13381.hs	585	log plain
-rw-r--r--	T13381.stderr	685	log plain
-rw-r--r--	T13458.hs	306	log plain
-rw-r--r--	T13474.hs	193	log plain
-rw-r--r--	T13490.hs	181	log plain
-rw-r--r--	T13509.hs	527	log plain
-rw-r--r--	T13524.hs	697	log plain
-rw-r--r--	T13526.hs	418	log plain
-rw-r--r--	T13526.stderr	386	log plain
-rw-r--r--	T13585.hs	99	log plain
-rw-r--r--	T13585a.hs	2453	log plain
-rw-r--r--	T13585b.hs	133	log plain
-rw-r--r--	T13594.hs	166	log plain
-rw-r--r--	T13594.stderr	81	log plain
-rw-r--r--	T13603.hs	251	log plain
-rw-r--r--	T13643.hs	497	log plain
-rw-r--r--	T13651.hs	952	log plain
-rw-r--r--	T13651.stderr	827	log plain
-rw-r--r--	T13651a.hs	447	log plain
-rw-r--r--	T13680.hs	82	log plain
-rw-r--r--	T13785.hs	344	log plain
-rw-r--r--	T13785.stderr	397	log plain
-rw-r--r--	T13804.hs	390	log plain
-rw-r--r--	T13822.hs	2030	log plain
-rw-r--r--	T13833.hs	177	log plain
-rw-r--r--	T13848.hs	941	log plain
-rw-r--r--	T13871.hs	353	log plain
-rw-r--r--	T13879.hs	713	log plain
-rw-r--r--	T13881.hs	449	log plain
-rw-r--r--	T13915a.hs	122	log plain
-rw-r--r--	T13915a_Foo.hs	98	log plain
-rw-r--r--	T13915b.hs	219	log plain
-rw-r--r--	T13943.hs	1930	log plain
-rw-r--r--	T13951.hs	559	log plain
-rw-r--r--	T13984.hs	181	log plain
-rw-r--r--	T14128.hs	121	log plain
-rw-r--r--	T14128.hs-boot	60	log plain
-rw-r--r--	T14128Main.hs	288	log plain
-rw-r--r--	T14128Type.hs	44	log plain
-rw-r--r--	T14128a.hs	21	log plain
-rw-r--r--	T14128a.hs-boot	51	log plain
-rw-r--r--	T14149.hs	122	log plain
-rw-r--r--	T14149.stderr	247	log plain
-rw-r--r--	T14154.hs	385	log plain
-rw-r--r--	T14158.hs	123	log plain
-rw-r--r--	T14185.hs	684	log plain
-rw-r--r--	T14273.hs	343	log plain
-rw-r--r--	T14273.stderr	4041	log plain
-rw-r--r--	T14333.hs	322	log plain
-rw-r--r--	T14363.hs	240	log plain
-rw-r--r--	T14363a.hs	122	log plain
-rw-r--r--	T14366.hs	310	log plain
-rw-r--r--	T14396.hs	61	log plain
-rw-r--r--	T14396.hs-boot	31	log plain
-rw-r--r--	T14396a.hs	122	log plain
-rw-r--r--	T14396b.hs	93	log plain
-rw-r--r--	T14396f.hs	67	log plain
-rw-r--r--	T14434.hs	505	log plain
-rw-r--r--	T14434.stdout	70	log plain
-rw-r--r--	T14441.hs	358	log plain
-rw-r--r--	T14451.hs	752	log plain
-rw-r--r--	T14488.hs	222	log plain
-rw-r--r--	T14590.hs	137	log plain
-rw-r--r--	T14590.stderr	16416	log plain
-rw-r--r--	T1470.hs	886	log plain
-rw-r--r--	T14732.hs	928	log plain
-rw-r--r--	T14735.hs	642	log plain
-rw-r--r--	T14761c.hs	579	log plain
-rw-r--r--	T14763.hs	974	log plain
-rw-r--r--	T14774.hs	207	log plain
-rw-r--r--	T14774.stdout	104	log plain
-rw-r--r--	T14811.hs	98	log plain
-rw-r--r--	T14934.hs	145	log plain
-rw-r--r--	T14934a.hs	281	log plain
-rw-r--r--	T1495.hs	308	log plain
-rw-r--r--	T15050.hs	883	log plain
-rw-r--r--	T15141.hs	909	log plain
-rw-r--r--	T15180.hs	193	log plain
-rw-r--r--	T15232.hs	430	log plain
-rw-r--r--	T15242.hs	139	log plain
-rw-r--r--	T15242.stderr	502	log plain
-rw-r--r--	T15368.hs	266	log plain
-rw-r--r--	T15368.stderr	2142	log plain
-rw-r--r--	T15370.hs	394	log plain
-rw-r--r--	T15370.stderr	1748	log plain
-rw-r--r--	T15412.hs	321	log plain
-rw-r--r--	T15428.hs	190	log plain
-rw-r--r--	T15431.hs	244	log plain
-rw-r--r--	T15431a.hs	233	log plain
-rw-r--r--	T15473.hs	345	log plain
-rw-r--r--	T15473.stderr	368	log plain
-rw-r--r--	T15499.hs	191	log plain
-rw-r--r--	T15549a.hs	433	log plain
-rw-r--r--	T15549b.hs	703	log plain
-rw-r--r--	T15586.hs	200	log plain
-rw-r--r--	T15645.hs	264	log plain
-rw-r--r--	T15778.hs	129	log plain
-rw-r--r--	T15788.hs	251	log plain
-rw-r--r--	T15807a.hs	266	log plain
-rw-r--r--	T15839a.hs	127	log plain
-rw-r--r--	T15839a.stderr	308	log plain
-rw-r--r--	T15839b.hs	171	log plain
-rw-r--r--	T16008.hs	293	log plain
-rw-r--r--	T16033.hs	205	log plain
-rw-r--r--	T16141.hs	271	log plain
-rw-r--r--	T16188.hs	1414	log plain
-rw-r--r--	T16204a.hs	1346	log plain
-rw-r--r--	T16204b.hs	1338	log plain
-rw-r--r--	T16225.hs	624	log plain
-rw-r--r--	T16312.hs	427	log plain
-rw-r--r--	T1634.hs	92	log plain
-rw-r--r--	T16411.hs	305	log plain
-rw-r--r--	T16609.hs	67	log plain
-rw-r--r--	T16827.hs	156	log plain
-rw-r--r--	T16832.hs	1058	log plain
-rw-r--r--	T16832.script	14	log plain
-rw-r--r--	T16946.hs	415	log plain
-rw-r--r--	T16995.hs	458	log plain
-rw-r--r--	T17007.hs	378	log plain
-rw-r--r--	T17067.hs	188	log plain
-rw-r--r--	T17202.hs	364	log plain
-rw-r--r--	T17343.hs	128	log plain
-rw-r--r--	T17343.stderr	174	log plain
-rw-r--r--	T2045.hs	4131	log plain
-rw-r--r--	T2357.hs	216	log plain
-rw-r--r--	T2412.hs	88	log plain
-rw-r--r--	T2412.hs-boot	30	log plain
-rw-r--r--	T2412A.hs	74	log plain
-rw-r--r--	T2433.hs	195	log plain
-rw-r--r--	T2433_Help.hs	42	log plain
-rw-r--r--	T2478.hs	167	log plain
-rw-r--r--	T2478.stderr	150	log plain
-rw-r--r--	T2494-2.hs	405	log plain
-rw-r--r--	T2494.hs	395	log plain
-rw-r--r--	T2494.stderr	1704	log plain
-rw-r--r--	T2497.hs	602	log plain
-rw-r--r--	T2497.stderr	111	log plain
-rw-r--r--	T2572.hs	175	log plain
-rw-r--r--	T2683.hs	833	log plain
-rw-r--r--	T2735.hs	94	log plain
-rw-r--r--	T2799.hs	313	log plain
-rw-r--r--	T2846.hs	102	log plain
-rw-r--r--	T3018.hs	3512	log plain
-rw-r--r--	T3108.hs	962	log plain
-rw-r--r--	T3219.hs	237	log plain
-rw-r--r--	T3342.hs	305	log plain
-rw-r--r--	T3346.hs	473	log plain
-rw-r--r--	T3391.hs	270	log plain
-rw-r--r--	T3409.hs	1414	log plain
-rw-r--r--	T3692.hs	205	log plain
-rw-r--r--	T3696.hs	126	log plain
-rw-r--r--	T3696.stderr	115	log plain
-rw-r--r--	T3743.hs	260	log plain
-rw-r--r--	T3955.hs	768	log plain
-rw-r--r--	T4284.hs	398	log plain
-rw-r--r--	T4310.hs	306	log plain
-rw-r--r--	T4355.hs	2205	log plain
-rw-r--r--	T4355.stderr	151	log plain
-rw-r--r--	T4361.hs	1054	log plain
-rw-r--r--	T4401.hs	398	log plain
-rw-r--r--	T4404.hs	386	log plain
-rw-r--r--	T4418.hs	402	log plain
-rw-r--r--	T4444.hs	529	log plain
-rw-r--r--	T4498.hs	143	log plain
-rw-r--r--	T4524.hs	8748	log plain
-rw-r--r--	T4912.hs	226	log plain
-rw-r--r--	T4912.stderr	544	log plain
-rw-r--r--	T4912a.hs	128	log plain
-rw-r--r--	T4917.hs	651	log plain
-rw-r--r--	T4952.hs	956	log plain
-rw-r--r--	T4969.hs	2717	log plain
-rw-r--r--	T5032.hs	330	log plain
-rw-r--r--	T505.hs	218	log plain
-rw-r--r--	T5120.hs	216	log plain
-rw-r--r--	T5481.hs	153	log plain
-rw-r--r--	T5481.stderr	104	log plain
-rw-r--r--	T5490.hs	9340	log plain
-rw-r--r--	T5490.stderr	133	log plain
-rw-r--r--	T5514.hs	267	log plain
-rw-r--r--	T5581.hs	287	log plain
-rw-r--r--	T5595.hs	405	log plain
-rw-r--r--	T5643.hs	571	log plain
-rw-r--r--	T5655.hs	577	log plain
-rw-r--r--	T5676.hs	413	log plain
-rw-r--r--	T5792.hs	207	log plain
-rw-r--r--	T6011.hs	320	log plain
-rw-r--r--	T6018.hs	7550	log plain
-rw-r--r--	T6018.hs-boot	365	log plain
-rw-r--r--	T6018.stderr	438	log plain
-rw-r--r--	T6018a.hs	320	log plain
-rw-r--r--	T6055.hs	907	log plain
-rw-r--r--	T6134.hs	218	log plain
-rw-r--r--	T700.hs	177	log plain
-rw-r--r--	T7050.hs	62	log plain
-rw-r--r--	T7050.stderr	205	log plain
-rw-r--r--	T7147.hs	814	log plain
-rw-r--r--	T7169.hs	346	log plain
-rw-r--r--	T7169.stderr	94	log plain
-rw-r--r--	T7171.hs	254	log plain
-rw-r--r--	T7171a.hs	409	log plain
-rw-r--r--	T7173.hs	449	log plain
-rw-r--r--	T7196.hs	1377	log plain
-rw-r--r--	T7220.hs	1474	log plain
-rw-r--r--	T7220a.hs	615	log plain
-rw-r--r--	T7220a.stderr	570	log plain
-rw-r--r--	T7268.hs	217	log plain
-rw-r--r--	T7312.hs	228	log plain
-rw-r--r--	T7384.hs	180	log plain
-rw-r--r--	T7408.hs	169	log plain
-rw-r--r--	T7451.hs	223	log plain
-rw-r--r--	T7503a.hs	492	log plain
-rw-r--r--	T7541.hs	310	log plain
-rw-r--r--	T7562.hs	58	log plain
-rw-r--r--	T7562.stderr	203	log plain
-rw-r--r--	T7641.hs	252	log plain
-rw-r--r--	T7643.hs	177	log plain
-rw-r--r--	T7827.hs	97	log plain
-rw-r--r--	T7875.hs	777	log plain
-rw-r--r--	T7888.hs	317	log plain
-rw-r--r--	T7891.hs	771	log plain
-rw-r--r--	T7903.hs	208	log plain
-rw-r--r--	T7903.stderr	392	log plain
-rw-r--r--	T8392.hs	440	log plain
-rw-r--r--	T8474.hs	343	log plain
-rw-r--r--	T8555.hs	122	log plain
-rw-r--r--	T8563.hs	90	log plain
-rw-r--r--	T8565.hs	175	log plain
-rw-r--r--	T8644.hs	185	log plain
-rw-r--r--	T8739.hs	121	log plain
-rw-r--r--	T8762.hs	170	log plain
-rw-r--r--	T8799.hs	191	log plain
-rw-r--r--	T8856.hs	149	log plain
-rw-r--r--	T9117.hs	246	log plain
-rw-r--r--	T9117_2.hs	139	log plain
-rw-r--r--	T9117_3.hs	128	log plain
-rw-r--r--	T9151.hs	239	log plain
-rw-r--r--	T9404.hs	137	log plain
-rw-r--r--	T9404b.hs	335	log plain
-rw-r--r--	T9497a.hs	27	log plain
-rw-r--r--	T9497a.stderr	750	log plain
-rw-r--r--	T9497b.hs	27	log plain
-rw-r--r--	T9497c.hs	27	log plain
-rw-r--r--	T9569a.hs	168	log plain
-rw-r--r--	T9708.hs	1047	log plain
-rw-r--r--	T9834.hs	698	log plain
-rw-r--r--	T9834.stderr	1719	log plain
-rw-r--r--	T9892.hs	509	log plain
-rw-r--r--	T9939.hs	481	log plain
-rw-r--r--	T9939.stderr	741	log plain
-rw-r--r--	T9971.hs	299	log plain
-rw-r--r--	T9973.hs	561	log plain
-rw-r--r--	Tc170_Aux.hs	651	log plain
-rw-r--r--	Tc173a.hs	533	log plain
-rw-r--r--	Tc173b.hs	109	log plain
-rw-r--r--	Tc239_Help.hs	480	log plain
-rw-r--r--	Tc245_A.hs	126	log plain
-rw-r--r--	Tc251_Help.hs	146	log plain
-rw-r--r--	Tc263_Help.hs	157	log plain
-rw-r--r--	Tc266.hs	50	log plain
-rw-r--r--	Tc266.hs-boot	33	log plain
-rw-r--r--	Tc266a.hs	48	log plain
-rw-r--r--	Tc267a.hs	129	log plain
-rw-r--r--	Tc267a.hs-boot	50	log plain
-rw-r--r--	Tc267b.hs	76	log plain
-rw-r--r--	Tc267b.hs-boot	56	log plain
-rw-r--r--	Tc271.hs	118	log plain
-rw-r--r--	Tc271.hs-boot	56	log plain
-rw-r--r--	Tc271a.hs	76	log plain
-rw-r--r--	TcCoercibleCompile.hs	901	log plain
-rw-r--r--	TcCustomSolverSuper.hs	726	log plain
-rw-r--r--	TcLambdaCase.hs	269	log plain
-rw-r--r--	TcStaticPointers01.hs	274	log plain
-rw-r--r--	TcStaticPointers02.hs	675	log plain
-rw-r--r--	TcTypeNatSimple.hs	1708	log plain
-rw-r--r--	TcTypeSymbolSimple.hs	698	log plain
-rw-r--r--	UnboxStrictPrimitiveFields.hs	406	log plain
-rw-r--r--	UnlifNewUnify.hs	876	log plain
-rw-r--r--	UnliftedNewtypesDifficultUnification.hs	855	log plain
-rw-r--r--	UnliftedNewtypesForall.hs	228	log plain
-rw-r--r--	UnliftedNewtypesGnd.hs	513	log plain
-rw-r--r--	UnliftedNewtypesLPFamily.hs	269	log plain
-rw-r--r--	UnliftedNewtypesUnassociatedFamily.hs	828	log plain
-rw-r--r--	UnliftedNewtypesUnifySig.hs	582	log plain
-rw-r--r--	ValidHoleFits.hs	52	log plain
-rw-r--r--	Vta1.hs	2081	log plain
-rw-r--r--	Vta2.hs	398	log plain
-rw-r--r--	Vta2.stderr	136	log plain
-rw-r--r--	VtaCoerce.hs	172	log plain
-rw-r--r--	abstract_refinement_hole_fits.hs	113	log plain
-rw-r--r--	abstract_refinement_hole_fits.stderr	12585	log plain
-rw-r--r--	all.T	28957	log plain
-rw-r--r--	constraint_hole_fits.hs	67	log plain
-rw-r--r--	constraint_hole_fits.stderr	2405	log plain
-rw-r--r--	faxen.hs	663	log plain
-rw-r--r--	free_monad_hole_fits.hs	777	log plain
-rw-r--r--	free_monad_hole_fits.stderr	3698	log plain
-rw-r--r--	hole_constraints.hs	680	log plain
-rw-r--r--	hole_constraints.stderr	3222	log plain
-rw-r--r--	hole_constraints_nested.hs	292	log plain
-rw-r--r--	hole_constraints_nested.stderr	791	log plain
-rw-r--r--	holes.hs	99	log plain
-rw-r--r--	holes.stderr	8940	log plain
-rw-r--r--	holes2.hs	32	log plain
-rw-r--r--	holes2.stderr	1348	log plain
-rw-r--r--	holes3.hs	105	log plain
-rw-r--r--	holes3.stderr	9013	log plain
-rwxr-xr-x	local_hole_fits.hs	203	log plain
-rw-r--r--	local_hole_fits.stderr	1265	log plain
-rw-r--r--	mc18.hs	338	log plain
-rw-r--r--	refinement_hole_fits.hs	105	log plain
-rw-r--r--	refinement_hole_fits.stderr	11481	log plain
-rwxr-xr-x	subsumption_sort_hole_fits.hs	67	log plain
-rw-r--r--	subsumption_sort_hole_fits.stderr	2070	log plain
-rw-r--r--	syn-perf.hs	3305	log plain
-rw-r--r--	syn-perf2.hs	660	log plain
-rw-r--r--	tc001.hs	52	log plain
-rw-r--r--	tc002.hs	54	log plain
-rw-r--r--	tc003.hs	516	log plain
-rw-r--r--	tc004.hs	82	log plain
-rw-r--r--	tc005.hs	56	log plain
-rw-r--r--	tc006.hs	36	log plain
-rw-r--r--	tc007.hs	63	log plain
-rw-r--r--	tc008.hs	51	log plain
-rw-r--r--	tc009.hs	61	log plain
-rw-r--r--	tc010.hs	58	log plain
-rw-r--r--	tc011.hs	36	log plain
-rw-r--r--	tc012.hs	41	log plain
-rw-r--r--	tc013.hs	44	log plain
-rw-r--r--	tc014.hs	36	log plain
-rw-r--r--	tc015.hs	47	log plain
-rw-r--r--	tc016.hs	42	log plain
-rw-r--r--	tc017.hs	57	log plain
-rw-r--r--	tc018.hs	64	log plain
-rw-r--r--	tc019.hs	63	log plain
-rw-r--r--	tc020.hs	50	log plain
-rw-r--r--	tc021.hs	54	log plain
-rw-r--r--	tc022.hs	51	log plain
-rw-r--r--	tc023.hs	75	log plain
-rw-r--r--	tc024.hs	77	log plain
-rw-r--r--	tc025.hs	88	log plain
-rw-r--r--	tc026.hs	83	log plain
-rw-r--r--	tc027.hs	116	log plain
-rw-r--r--	tc028.hs	48	log plain
-rw-r--r--	tc029.hs	67	log plain
-rw-r--r--	tc030.hs	63	log plain
-rw-r--r--	tc031.hs	52	log plain
-rw-r--r--	tc032.hs	71	log plain
-rw-r--r--	tc033.hs	98	log plain
-rw-r--r--	tc034.hs	179	log plain
-rw-r--r--	tc035.hs	190	log plain
-rw-r--r--	tc036.hs	69	log plain
-rw-r--r--	tc037.hs	218	log plain
-rw-r--r--	tc038.hs	81	log plain
-rw-r--r--	tc039.hs	69	log plain
-rw-r--r--	tc040.hs	157	log plain
-rw-r--r--	tc041.hs	204	log plain
-rw-r--r--	tc042.hs	1829	log plain
-rw-r--r--	tc043.hs	254	log plain
-rw-r--r--	tc044.hs	99	log plain
-rw-r--r--	tc045.hs	366	log plain
-rw-r--r--	tc046.hs	165	log plain
-rw-r--r--	tc047.hs	457	log plain
-rw-r--r--	tc048.hs	342	log plain
-rw-r--r--	tc049.hs	771	log plain
-rw-r--r--	tc050.hs	279	log plain
-rw-r--r--	tc051.hs	429	log plain
-rw-r--r--	tc052.hs	72	log plain
-rw-r--r--	tc053.hs	223	log plain
-rw-r--r--	tc054.hs	261	log plain
-rw-r--r--	tc055.hs	54	log plain
-rw-r--r--	tc056.hs	357	log plain
-rw-r--r--	tc057.hs	334	log plain
-rw-r--r--	tc058.hs	355	log plain
-rw-r--r--	tc059.hs	272	log plain
-rw-r--r--	tc060.hs	208	log plain
-rw-r--r--	tc061.hs	174	log plain
-rw-r--r--	tc062.hs	229	log plain
-rw-r--r--	tc063.hs	227	log plain
-rw-r--r--	tc064.hs	95	log plain
-rw-r--r--	tc065.hs	2935	log plain
-rw-r--r--	tc066.hs	87	log plain
-rw-r--r--	tc067.hs	60	log plain
-rw-r--r--	tc068.hs	300	log plain
-rw-r--r--	tc069.hs	71	log plain
-rw-r--r--	tc070.hs	97	log plain
-rw-r--r--	tc073.hs	61	log plain
-rw-r--r--	tc074.hs	300	log plain
-rw-r--r--	tc076.hs	169	log plain
-rw-r--r--	tc077.hs	207	log plain
-rw-r--r--	tc078.hs	201	log plain
-rw-r--r--	tc078.stderr	391	log plain
-rw-r--r--	tc079.hs	442	log plain
-rw-r--r--	tc080.hs	1779	log plain
-rw-r--r--	tc081.hs	651	log plain
-rw-r--r--	tc082.hs	203	log plain
-rw-r--r--	tc084.hs	630	log plain
-rw-r--r--	tc085.hs	213	log plain
-rw-r--r--	tc086.hs	1803	log plain
-rw-r--r--	tc087.hs	1127	log plain
-rw-r--r--	tc088.hs	788	log plain
-rw-r--r--	tc089.hs	1999	log plain
-rw-r--r--	tc090.hs	541	log plain
-rw-r--r--	tc091.hs	1996	log plain
-rw-r--r--	tc092.hs	458	log plain
-rw-r--r--	tc093.hs	860	log plain
-rw-r--r--	tc094.hs	148	log plain
-rw-r--r--	tc095.hs	7552	log plain
-rw-r--r--	tc096.hs	1051	log plain
-rw-r--r--	tc097.hs	318	log plain
-rw-r--r--	tc098.hs	926	log plain
-rw-r--r--	tc099.hs	210	log plain
-rw-r--r--	tc100.hs	193	log plain
-rw-r--r--	tc101.hs	311	log plain
-rw-r--r--	tc102.hs	318	log plain
-rw-r--r--	tc104.hs	132	log plain
-rw-r--r--	tc105.hs	326	log plain
-rw-r--r--	tc106.hs	499	log plain
-rw-r--r--	tc107.hs	171	log plain
-rw-r--r--	tc108.hs	551	log plain
-rw-r--r--	tc109.hs	583	log plain
-rw-r--r--	tc111.hs	322	log plain
-rw-r--r--	tc112.hs	299	log plain
-rw-r--r--	tc113.hs	313	log plain
-rw-r--r--	tc114.hs	341	log plain
-rw-r--r--	tc115.hs	437	log plain
-rw-r--r--	tc115.stderr	180	log plain
-rw-r--r--	tc116.hs	413	log plain
-rw-r--r--	tc116.stderr	180	log plain
-rw-r--r--	tc117.hs	482	log plain
-rw-r--r--	tc118.hs	535	log plain
-rw-r--r--	tc119.hs	432	log plain
-rw-r--r--	tc120.hs	219	log plain
-rw-r--r--	tc121.hs	315	log plain
-rw-r--r--	tc122.hs	451	log plain
-rw-r--r--	tc123.hs	381	log plain
-rw-r--r--	tc124.hs	758	log plain
-rw-r--r--	tc125.hs	979	log plain
-rw-r--r--	tc125.stderr	913	log plain
-rw-r--r--	tc126.hs	1157	log plain
-rw-r--r--	tc126.stderr	367	log plain
-rw-r--r--	tc127.hs	484	log plain
-rw-r--r--	tc128.hs	324	log plain
-rw-r--r--	tc129.hs	381	log plain
-rw-r--r--	tc130.hs	385	log plain
-rw-r--r--	tc131.hs	667	log plain
-rw-r--r--	tc132.hs	278	log plain
-rw-r--r--	tc133.hs	487	log plain
-rw-r--r--	tc134.hs	200	log plain
-rw-r--r--	tc134.stderr	188	log plain
-rw-r--r--	tc135.hs	268	log plain
-rw-r--r--	tc136.hs	330	log plain
-rw-r--r--	tc137.hs	816	log plain
-rw-r--r--	tc140.hs	452	log plain
-rw-r--r--	tc141.hs	358	log plain
-rw-r--r--	tc141.stderr	1927	log plain
-rw-r--r--	tc142.hs	262	log plain
-rw-r--r--	tc143.hs	176	log plain
-rw-r--r--	tc144.hs	304	log plain
-rw-r--r--	tc145.hs	547	log plain
-rw-r--r--	tc146.hs	440	log plain
-rw-r--r--	tc147.hs	184	log plain
-rw-r--r--	tc148.hs	309	log plain
-rw-r--r--	tc149.hs	508	log plain
-rw-r--r--	tc150.hs	128	log plain
-rw-r--r--	tc151.hs	1186	log plain
-rw-r--r--	tc152.hs	801	log plain
-rw-r--r--	tc153.hs	219	log plain
-rw-r--r--	tc154.hs	192	log plain
-rw-r--r--	tc155.hs	417	log plain
-rw-r--r--	tc156.hs	271	log plain
-rw-r--r--	tc157.hs	482	log plain
-rw-r--r--	tc158.hs	279	log plain
-rw-r--r--	tc159.hs	395	log plain
-rw-r--r--	tc159.stdout	5	log plain
-rw-r--r--	tc160.hs	268	log plain
-rw-r--r--	tc161.hs	592	log plain
-rw-r--r--	tc161.stderr	171	log plain
-rw-r--r--	tc162.hs	629	log plain
-rw-r--r--	tc163.hs	1196	log plain
-rw-r--r--	tc164.hs	391	log plain
-rw-r--r--	tc165.hs	278	log plain
-rw-r--r--	tc166.hs	612	log plain
-rw-r--r--	tc167.hs	908	log plain
-rw-r--r--	tc168.hs	439	log plain
-rw-r--r--	tc168.stderr	511	log plain
-rw-r--r--	tc169.hs	446	log plain
-rw-r--r--	tc170.hs	418	log plain
-rw-r--r--	tc171.hs	119	log plain
-rw-r--r--	tc172.hs	187	log plain
-rw-r--r--	tc174.hs	95	log plain
-rw-r--r--	tc175.hs	447	log plain
-rw-r--r--	tc175.stderr	205	log plain
-rw-r--r--	tc176.hs	1272	log plain
-rw-r--r--	tc177.hs	2596	log plain
-rw-r--r--	tc178.hs	821	log plain
-rw-r--r--	tc179.hs	668	log plain
-rw-r--r--	tc180.hs	1489	log plain
-rw-r--r--	tc181.hs	1277	log plain
-rw-r--r--	tc182.hs	282	log plain
-rw-r--r--	tc182.stderr	150	log plain
-rw-r--r--	tc183.hs	798	log plain
-rw-r--r--	tc184.hs	492	log plain
-rw-r--r--	tc185.hs	143	log plain
-rw-r--r--	tc186.hs	362	log plain
-rw-r--r--	tc187.hs	906	log plain
-rw-r--r--	tc188.hs	498	log plain
-rw-r--r--	tc189.hs	452	log plain
-rw-r--r--	tc190.hs	260	log plain
-rw-r--r--	tc191.hs	936	log plain
-rw-r--r--	tc192.hs	3553	log plain
-rw-r--r--	tc193.hs	227	log plain
-rw-r--r--	tc194.hs	256	log plain
-rw-r--r--	tc195.hs	439	log plain
-rw-r--r--	tc196.hs	329	log plain
-rw-r--r--	tc197.hs	827	log plain
-rw-r--r--	tc198.hs	234	log plain
-rw-r--r--	tc199.hs	1098	log plain
-rw-r--r--	tc200.hs	333	log plain
-rw-r--r--	tc201.hs	793	log plain
-rw-r--r--	tc202.hs	175	log plain
-rw-r--r--	tc203.hs	236	log plain
-rw-r--r--	tc204.hs	596	log plain
-rw-r--r--	tc205.hs	304	log plain
-rw-r--r--	tc206.hs	423	log plain
-rw-r--r--	tc207.hs	378	log plain
-rw-r--r--	tc208.hs	373	log plain
-rw-r--r--	tc209.hs	192	log plain
-rw-r--r--	tc210.hs	245	log plain
-rw-r--r--	tc211.hs	2036	log plain
-rw-r--r--	tc211.stderr	3304	log plain
-rw-r--r--	tc212.hs	179	log plain
-rw-r--r--	tc213.hs	1969	log plain
-rw-r--r--	tc214.hs	469	log plain
-rw-r--r--	tc215.hs	269	log plain
-rw-r--r--	tc216.hs	934	log plain
-rw-r--r--	tc217.hs	426	log plain
-rw-r--r--	tc218.hs	210	log plain
-rw-r--r--	tc219.hs	263	log plain
-rw-r--r--	tc220.hs	618	log plain
-rw-r--r--	tc221.hs	396	log plain
-rw-r--r--	tc222.hs	874	log plain
-rw-r--r--	tc223.hs	413	log plain
-rw-r--r--	tc224.hs	568	log plain
-rw-r--r--	tc225.hs	117	log plain
-rw-r--r--	tc226.hs	260	log plain
-rw-r--r--	tc227.hs	124	log plain
-rw-r--r--	tc228.hs	548	log plain
-rw-r--r--	tc229.hs	943	log plain
-rw-r--r--	tc230.hs	205	log plain
-rw-r--r--	tc231.hs	669	log plain
-rw-r--r--	tc231.stderr	665	log plain
-rw-r--r--	tc232.hs	538	log plain
-rw-r--r--	tc233.hs	119	log plain
-rw-r--r--	tc234.hs	136	log plain
-rw-r--r--	tc235.hs	882	log plain
-rw-r--r--	tc236.hs	299	log plain
-rw-r--r--	tc237.hs	737	log plain
-rw-r--r--	tc238.hs	775	log plain
-rw-r--r--	tc239.hs	193	log plain
-rw-r--r--	tc240.hs	316	log plain
-rw-r--r--	tc241.hs	198	log plain
-rw-r--r--	tc242.hs	413	log plain
-rw-r--r--	tc243.hs	206	log plain
-rw-r--r--	tc243.stderr	116	log plain
-rw-r--r--	tc244.hs	682	log plain
-rw-r--r--	tc245.hs	176	log plain
-rw-r--r--	tc245.stdout	178	log plain
-rw-r--r--	tc246.hs	130	log plain
-rw-r--r--	tc247.hs	269	log plain
-rw-r--r--	tc248.hs	105	log plain
-rw-r--r--	tc249.hs	88	log plain
-rw-r--r--	tc250.hs	385	log plain
-rw-r--r--	tc251.hs	275	log plain
-rw-r--r--	tc252.hs	372	log plain
-rw-r--r--	tc253.hs	719	log plain
-rw-r--r--	tc254.hs	194	log plain
-rw-r--r--	tc254.stderr	186	log plain
-rw-r--r--	tc255.hs	290	log plain
-rw-r--r--	tc256.hs	297	log plain
-rw-r--r--	tc257.hs	706	log plain
-rw-r--r--	tc258.hs	541	log plain
-rw-r--r--	tc259.hs	288	log plain
-rw-r--r--	tc260.hs	363	log plain
-rw-r--r--	tc261.hs	90	log plain
-rw-r--r--	tc262.hs	284	log plain
-rw-r--r--	tc263.hs	269	log plain
-rw-r--r--	tc264.stderr	76	log plain
-rw-r--r--	tc265.hs	127	log plain
-rw-r--r--	tc265.stderr	123	log plain
-rw-r--r--	tc268.hs	128	log plain
-rw-r--r--	tc269.hs	565	log plain
-rw-r--r--	tc270.hs	16933	log plain
-rw-r--r--	twins.hs	771	log plain
-rw-r--r--	type_in_type_hole_fits.hs	3215	log plain
-rw-r--r--	type_in_type_hole_fits.stderr	4350	log plain
-rw-r--r--	update-existential.hs	472	log plain
-rw-r--r--	valid_hole_fits.hs	612	log plain
-rw-r--r--	valid_hole_fits.stderr	12148	log plain
-rw-r--r--	valid_hole_fits_interactions.hs	242	log plain
-rw-r--r--	valid_hole_fits_interactions.stderr	484	log plain