safeInfered\safeHaskell\tests\testsuite - delta/haskell.git

Mode	Name	Size
-rw-r--r--	Makefile	72	log plain
-rw-r--r--	Mixed01.hs	185	log plain
-rw-r--r--	Mixed01.stderr	147	log plain
-rw-r--r--	Mixed02.hs	194	log plain
-rw-r--r--	Mixed02.stderr	77	log plain
-rw-r--r--	Mixed03.hs	211	log plain
-rw-r--r--	Mixed03.stderr	77	log plain
-rw-r--r--	SafeInfered01.hs	95	log plain
-rw-r--r--	SafeInfered01.stderr	152	log plain
-rw-r--r--	SafeInfered01_A.hs	71	log plain
-rw-r--r--	SafeInfered02.hs	95	log plain
-rw-r--r--	SafeInfered02.stderr	152	log plain
-rw-r--r--	SafeInfered02_A.hs	205	log plain
-rw-r--r--	SafeInfered03.hs	95	log plain
-rw-r--r--	SafeInfered03.stderr	152	log plain
-rw-r--r--	SafeInfered03_A.hs	183	log plain
-rw-r--r--	SafeInfered04.hs	95	log plain
-rw-r--r--	SafeInfered04.stderr	152	log plain
-rw-r--r--	SafeInfered04_A.hs	233	log plain
-rw-r--r--	SafeInfered05.hs	324	log plain
-rw-r--r--	SafeInfered05.stderr	382	log plain
-rw-r--r--	SafeInfered05_A.hs	173	log plain
-rw-r--r--	SafeWarn01.hs	200	log plain
-rw-r--r--	SafeWarn01.stderr	78	log plain
-rw-r--r--	TrustworthySafe01.hs	179	log plain
-rw-r--r--	TrustworthySafe02.hs	216	log plain
-rw-r--r--	TrustworthySafe02.stderr	121	log plain
-rw-r--r--	TrustworthySafe03.hs	283	log plain
-rw-r--r--	TrustworthySafe03.stderr	121	log plain
-rw-r--r--	TrustworthySafe04.hs	273	log plain
-rw-r--r--	UnsafeInfered01.hs	105	log plain
-rw-r--r--	UnsafeInfered01.stderr	269	log plain
-rw-r--r--	UnsafeInfered01_A.hs	120	log plain
-rw-r--r--	UnsafeInfered02.hs	99	log plain
-rw-r--r--	UnsafeInfered02.stderr	269	log plain
-rw-r--r--	UnsafeInfered02_A.hs	104	log plain
-rw-r--r--	UnsafeInfered03.hs	99	log plain
-rw-r--r--	UnsafeInfered03.stderr	269	log plain
-rw-r--r--	UnsafeInfered03_A.hs	116	log plain
-rw-r--r--	UnsafeInfered05.hs	99	log plain
-rw-r--r--	UnsafeInfered05.stderr	269	log plain
-rw-r--r--	UnsafeInfered05_A.hs	246	log plain
-rw-r--r--	UnsafeInfered06.hs	83	log plain
-rw-r--r--	UnsafeInfered06.stderr	269	log plain
-rw-r--r--	UnsafeInfered06_A.hs	194	log plain
-rw-r--r--	UnsafeInfered08.hs	99	log plain
-rw-r--r--	UnsafeInfered08.stderr	161	log plain
-rw-r--r--	UnsafeInfered08_A.hs	224	log plain
-rw-r--r--	UnsafeInfered09.hs	99	log plain
-rw-r--r--	UnsafeInfered09.stderr	352	log plain
-rw-r--r--	UnsafeInfered09_A.hs	138	log plain
-rw-r--r--	UnsafeInfered09_B.hs	72	log plain
-rw-r--r--	UnsafeInfered10.hs	145	log plain
-rw-r--r--	UnsafeInfered10.stderr	269	log plain
-rw-r--r--	UnsafeInfered10_A.hs	207	log plain
-rw-r--r--	UnsafeInfered11.hs	145	log plain
-rw-r--r--	UnsafeInfered11.stderr	520	log plain
-rw-r--r--	UnsafeInfered11_A.hs	1188	log plain
-rw-r--r--	UnsafeInfered12.hs	121	log plain
-rw-r--r--	UnsafeInfered12.stderr	242	log plain
-rw-r--r--	UnsafeInfered13.hs	192	log plain
-rw-r--r--	UnsafeInfered13.stderr	0	log plain
-rw-r--r--	UnsafeInfered14.hs	196	log plain
-rw-r--r--	UnsafeInfered14.stderr	0	log plain
-rw-r--r--	UnsafeInfered15.hs	195	log plain
-rw-r--r--	UnsafeInfered15.stderr	0	log plain
-rw-r--r--	UnsafeInfered16.hs	307	log plain
-rw-r--r--	UnsafeInfered16.stderr	0	log plain
-rw-r--r--	UnsafeInfered17.hs	194	log plain
-rw-r--r--	UnsafeInfered17.stderr	0	log plain
-rw-r--r--	UnsafeInfered18.hs	205	log plain
-rw-r--r--	UnsafeInfered18.stderr	144	log plain
-rw-r--r--	UnsafeInfered19.hs	212	log plain
-rw-r--r--	UnsafeInfered19.stderr	0	log plain
-rw-r--r--	UnsafeWarn01.hs	182	log plain
-rw-r--r--	UnsafeWarn01.stderr	223	log plain
-rw-r--r--	UnsafeWarn02.hs	166	log plain
-rw-r--r--	UnsafeWarn02.stderr	187	log plain
-rw-r--r--	UnsafeWarn03.hs	211	log plain
-rw-r--r--	UnsafeWarn03.stderr	223	log plain
-rw-r--r--	UnsafeWarn04.hs	223	log plain
-rw-r--r--	UnsafeWarn04.stderr	223	log plain
-rw-r--r--	UnsafeWarn05.hs	364	log plain
-rw-r--r--	UnsafeWarn05.stderr	452	log plain
-rw-r--r--	UnsafeWarn06.hs	234	log plain
-rw-r--r--	UnsafeWarn06.stderr	227	log plain
-rw-r--r--	UnsafeWarn07.hs	263	log plain
-rw-r--r--	UnsafeWarn07.stderr	227	log plain
-rw-r--r--	all.T	3836	log plain