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

Mode	Name	Size
-rw-r--r--	Defer01.hs	775	log plain
-rw-r--r--	Defer01.stdout	13	log plain
-rw-r--r--	EtaExpandLevPoly.hs	882	log plain
-rw-r--r--	EtaExpandLevPoly.stdout	11	log plain
-rw-r--r--	IPLocation.hs	1131	log plain
-rw-r--r--	IPLocation.stdout	615	log plain
-rw-r--r--	IPRun.hs	598	log plain
-rw-r--r--	IPRun.stdout	8	log plain
-rw-r--r--	KindInvariant.script	229	log plain
-rw-r--r--	KindInvariant.stderr	224	log plain
-rw-r--r--	KindInvariant.stdout	28	log plain
-rw-r--r--	Makefile	72	log plain
-rw-r--r--	StrictPats.hs	1712	log plain
-rw-r--r--	StrictPats.stdout	500	log plain
-rw-r--r--	T10284.hs	451	log plain
-rw-r--r--	T10284.stderr	200	log plain
-rw-r--r--	T10284.stdout	216	log plain
-rw-r--r--	T10845.hs	310	log plain
-rw-r--r--	T10845.stdout	76	log plain
-rw-r--r--	T10846.hs	448	log plain
-rw-r--r--	T10846.stdout	15	log plain
-rw-r--r--	T11049.hs	365	log plain
-rw-r--r--	T11049.stderr	27	log plain
-rw-r--r--	T11049.stdout	7	log plain
-rw-r--r--	T11120.hs	207	log plain
-rw-r--r--	T11120.stdout	10	log plain
-rw-r--r--	T11230.hs	845	log plain
-rw-r--r--	T11230.stdout	77	log plain
-rw-r--r--	T11715.hs	517	log plain
-rw-r--r--	T11715.stderr	100	log plain
-rw-r--r--	T12809.hs	937	log plain
-rw-r--r--	T12809.stdout	24	log plain
-rw-r--r--	T13435.hs	286	log plain
-rw-r--r--	T13435.stdout	4	log plain
-rw-r--r--	T13594a.script	129	log plain
-rw-r--r--	T1624.hs	321	log plain
-rw-r--r--	T1624.stdout	12	log plain
-rw-r--r--	T1735.hs	2049	log plain
-rw-r--r--	T1735.stdout	8	log plain
d---------	T1735_Help	220	log plain
-rw-r--r--	T2722.hs	696	log plain
-rw-r--r--	T2722.stdout	5	log plain
-rw-r--r--	T3500a.hs	318	log plain
-rw-r--r--	T3500a.stdout	2	log plain
-rw-r--r--	T3500b.hs	379	log plain
-rw-r--r--	T3500b.stdout	16	log plain
-rw-r--r--	T3731-short.hs	2256	log plain
-rw-r--r--	T3731-short.stdout	9	log plain
-rw-r--r--	T3731.hs	6601	log plain
-rw-r--r--	T3731.stdout	29	log plain
-rw-r--r--	T4809.hs	645	log plain
-rw-r--r--	T4809.stdout	152	log plain
-rw-r--r--	T4809_IdentityT.hs	1653	log plain
-rw-r--r--	T4809_XMLGenerator.hs	3011	log plain
-rw-r--r--	T5573a.hs	453	log plain
-rw-r--r--	T5573a.stdout	3	log plain
-rw-r--r--	T5573b.hs	326	log plain
-rw-r--r--	T5573b.stdout	4	log plain
-rw-r--r--	T5751.hs	1075	log plain
-rw-r--r--	T5751.stdout	27	log plain
-rw-r--r--	T5759.hs	456	log plain
-rw-r--r--	T5759.stdout	7	log plain
-rw-r--r--	T5913.hs	1173	log plain
-rw-r--r--	T5913.stdout	56	log plain
-rw-r--r--	T6117.hs	1773	log plain
-rw-r--r--	T6117.stdout	11	log plain
-rw-r--r--	T7023.hs	126	log plain
-rw-r--r--	T7023.stdout	12	log plain
-rw-r--r--	T7126.hs	553	log plain
-rw-r--r--	T7126.stdout	8	log plain
-rw-r--r--	T7748.hs	1234	log plain
-rw-r--r--	T7748.stdout	3	log plain
-rw-r--r--	T7861.hs	697	log plain
-rw-r--r--	T7861.stderr	363	log plain
-rw-r--r--	T7861.stdout	10	log plain
-rw-r--r--	T8119.hs	120	log plain
-rw-r--r--	T8119.script	66	log plain
-rw-r--r--	T8119.stdout	79	log plain
-rw-r--r--	T8492.hs	70	log plain
-rw-r--r--	T8492.stdout	5	log plain
-rw-r--r--	T8739.hs	128	log plain
-rw-r--r--	T8739.stdout	2	log plain
-rw-r--r--	T9497a-run.hs	27	log plain
-rw-r--r--	T9497a-run.stderr	306	log plain
-rw-r--r--	T9497b-run.hs	27	log plain
-rw-r--r--	T9497b-run.stderr	306	log plain
-rw-r--r--	T9497c-run.hs	27	log plain
-rw-r--r--	T9497c-run.stderr	306	log plain
-rw-r--r--	T9858c.hs	393	log plain
-rw-r--r--	T9858c.stdout	14	log plain
-rw-r--r--	T9858d.hs	153	log plain
-rw-r--r--	T9858d.stdout	6	log plain
-rw-r--r--	TcCoercible.hs	2890	log plain
-rw-r--r--	TcCoercible.stdout	237	log plain
-rw-r--r--	TcNullaryTC.hs	167	log plain
-rw-r--r--	TcNullaryTC.stdout	2	log plain
-rw-r--r--	TcRun025_B.hs	998	log plain
-rw-r--r--	TcRun038_B.hs	282	log plain
-rw-r--r--	TcTypeNatSimpleRun.hs	1293	log plain
-rw-r--r--	TcTypeNatSimpleRun.stdout	37	log plain
-rw-r--r--	TcTypeSymbolSimpleRun.hs	668	log plain
-rw-r--r--	TcTypeSymbolSimpleRun.stdout	12	log plain
-rw-r--r--	TestTypeableBinary.hs	1196	log plain
-rw-r--r--	TestTypeableBinary.stdout	238	log plain
-rw-r--r--	TypeOf.hs	1062	log plain
-rw-r--r--	TypeOf.stdout	418	log plain
-rw-r--r--	TypeRep.hs	1466	log plain
-rw-r--r--	TypeRep.stdout	410	log plain
-rw-r--r--	Typeable1.hs	419	log plain
-rw-r--r--	Typeable1.stderr	922	log plain
-rw-r--r--	TypeableEq.hs	1925	log plain
-rw-r--r--	TypeableEq.stdout	623	log plain
-rwxr-xr-x	all.T	5927	log plain
-rw-r--r--	church.hs	788	log plain
-rw-r--r--	church.stdout	3	log plain
-rw-r--r--	mc17.hs	181	log plain
-rw-r--r--	mc17.stdout	45	log plain
-rw-r--r--	tcrun.stderr	1	log plain
-rw-r--r--	tcrun001.hs	201	log plain
-rw-r--r--	tcrun001.stdout	2	log plain
-rw-r--r--	tcrun002.hs	527	log plain
-rw-r--r--	tcrun002.stdout	12	log plain
-rw-r--r--	tcrun002.stdout-alpha-dec-osf3	12	log plain
-rw-r--r--	tcrun002.stdout-mips-sgi-irix	12	log plain
-rw-r--r--	tcrun002.stdout-ws-64	12	log plain
-rw-r--r--	tcrun002.stdout-x86_64-unknown-openbsd	12	log plain
-rw-r--r--	tcrun003.hs	902	log plain
-rw-r--r--	tcrun003.stdout	6	log plain
-rw-r--r--	tcrun004.hs	2162	log plain
-rw-r--r--	tcrun004.stdout	12	log plain
-rw-r--r--	tcrun005.hs	412	log plain
-rw-r--r--	tcrun005.stdout	5	log plain
-rw-r--r--	tcrun006.hs	510	log plain
-rw-r--r--	tcrun006.stdout	17	log plain
-rw-r--r--	tcrun008.hs	430	log plain
-rw-r--r--	tcrun008.stdout	21	log plain
-rw-r--r--	tcrun009.hs	531	log plain
-rw-r--r--	tcrun009.stdout	4	log plain
-rw-r--r--	tcrun010.hs	1635	log plain
-rw-r--r--	tcrun010.stdout	15	log plain
-rw-r--r--	tcrun011.hs	623	log plain
-rw-r--r--	tcrun011.stdout	7	log plain
-rw-r--r--	tcrun012.hs	272	log plain
-rw-r--r--	tcrun012.stdout	6	log plain
-rw-r--r--	tcrun013.hs	160	log plain
-rw-r--r--	tcrun013.stdout	45	log plain
-rw-r--r--	tcrun014.hs	531	log plain
-rw-r--r--	tcrun014.stdout	2	log plain
-rw-r--r--	tcrun015.hs	490	log plain
-rw-r--r--	tcrun015.stdout	62	log plain
-rw-r--r--	tcrun016.hs	1378	log plain
-rw-r--r--	tcrun016.stdout	7	log plain
-rw-r--r--	tcrun017.hs	377	log plain
-rw-r--r--	tcrun017.stdout	6	log plain
-rw-r--r--	tcrun018.hs	2378	log plain
-rw-r--r--	tcrun018.stdout	20	log plain
-rw-r--r--	tcrun019.hs	408	log plain
-rw-r--r--	tcrun019.stdout	3	log plain
-rw-r--r--	tcrun020.hs	422	log plain
-rw-r--r--	tcrun020.stdout	10	log plain
-rw-r--r--	tcrun021.hs	1793	log plain
-rw-r--r--	tcrun021.stdout	59	log plain
-rw-r--r--	tcrun022.hs	550	log plain
-rw-r--r--	tcrun022.stdout	22	log plain
-rw-r--r--	tcrun023.hs	298	log plain
-rw-r--r--	tcrun023.stdout	4	log plain
-rw-r--r--	tcrun024.hs	1246	log plain
-rw-r--r--	tcrun024.stdout	60	log plain
-rw-r--r--	tcrun025.hs	364	log plain
-rw-r--r--	tcrun025.stdout	60	log plain
-rw-r--r--	tcrun026.hs	509	log plain
-rw-r--r--	tcrun026.stdout	6	log plain
-rw-r--r--	tcrun027.hs	212	log plain
-rw-r--r--	tcrun027.stdout	6	log plain
-rw-r--r--	tcrun028.hs	1658	log plain
-rw-r--r--	tcrun028.stdout	5	log plain
-rw-r--r--	tcrun029.hs	878	log plain
-rw-r--r--	tcrun029.stdout	67	log plain
-rw-r--r--	tcrun030.hs	400	log plain
-rw-r--r--	tcrun030.stdout	5	log plain
-rw-r--r--	tcrun031.hs	320	log plain
-rw-r--r--	tcrun031.stdout	10	log plain
-rw-r--r--	tcrun032.hs	435	log plain
-rw-r--r--	tcrun032.stdout	12	log plain
-rw-r--r--	tcrun033.hs	775	log plain
-rw-r--r--	tcrun033.stdout	8	log plain
-rw-r--r--	tcrun034.hs	443	log plain
-rw-r--r--	tcrun034.stdout	2	log plain
-rw-r--r--	tcrun035.hs	348	log plain
-rw-r--r--	tcrun036.hs	1524	log plain
-rw-r--r--	tcrun036.stdout	3	log plain
-rw-r--r--	tcrun037.hs	344	log plain
-rw-r--r--	tcrun037.stdout	17	log plain
-rw-r--r--	tcrun038.hs	119	log plain
-rw-r--r--	tcrun038.stdout	3	log plain
-rw-r--r--	tcrun039.hs	473	log plain
-rw-r--r--	tcrun039.stdout	10	log plain
-rw-r--r--	tcrun040.hs	697	log plain
-rw-r--r--	tcrun040.stdout	39	log plain
-rw-r--r--	tcrun041.hs	664	log plain
-rw-r--r--	tcrun041.stdout	122	log plain
-rw-r--r--	tcrun042.hs	699	log plain
-rw-r--r--	tcrun042.stderr	260	log plain
-rw-r--r--	tcrun042.stdout	47	log plain
-rw-r--r--	tcrun043.hs	847	log plain
-rw-r--r--	tcrun043.stdout	71	log plain
-rw-r--r--	tcrun044.hs	806	log plain
-rw-r--r--	tcrun044.stdout	27	log plain
-rw-r--r--	tcrun045.hs	977	log plain
-rw-r--r--	tcrun045.stderr	624	log plain
-rw-r--r--	tcrun045.stdout	14	log plain
-rw-r--r--	tcrun046.hs	266	log plain
-rw-r--r--	tcrun046.stdout	6	log plain
-rw-r--r--	tcrun047.hs	352	log plain
-rw-r--r--	tcrun047.stdout	3	log plain
-rw-r--r--	tcrun048.hs	263	log plain
-rw-r--r--	tcrun048.stdout	1	log plain
-rw-r--r--	tcrun049.hs	274	log plain
-rw-r--r--	tcrun049.stdout	2	log plain
-rw-r--r--	tcrun050.hs	330	log plain
-rw-r--r--	tcrun050.stdout	3	log plain
-rw-r--r--	tcrun051.hs	688	log plain
-rw-r--r--	tcrun051.stdout	8	log plain
-rw-r--r--	testeq2.hs	1904	log plain
-rw-r--r--	testeq2.stdout	15	log plain