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	223	log plain
-rw-r--r--	Mixed02.stderr	84	log plain
-rw-r--r--	Mixed03.hs	240	log plain
-rw-r--r--	Mixed03.stderr	84	log plain
-rw-r--r--	SafeInfered01.hs	124	log plain
-rw-r--r--	SafeInfered01_A.hs	100	log plain
-rw-r--r--	SafeInfered02.hs	124	log plain
-rw-r--r--	SafeInfered02_A.hs	234	log plain
-rw-r--r--	SafeInfered03.hs	124	log plain
-rw-r--r--	SafeInfered03_A.hs	212	log plain
-rw-r--r--	SafeInfered04.hs	124	log plain
-rw-r--r--	SafeInfered04_A.hs	262	log plain
-rw-r--r--	SafeInfered05.hs	353	log plain
-rw-r--r--	SafeInfered05.stderr	275	log plain
-rw-r--r--	SafeInfered05_A.hs	202	log plain
-rw-r--r--	SafeWarn01.hs	229	log plain
-rw-r--r--	SafeWarn01.stderr	87	log plain
-rw-r--r--	T16689.hs	70	log plain
-rw-r--r--	TrustworthySafe01.hs	179	log plain
-rw-r--r--	TrustworthySafe02.hs	245	log plain
-rw-r--r--	TrustworthySafe02.stderr	153	log plain
-rw-r--r--	TrustworthySafe03.hs	312	log plain
-rw-r--r--	TrustworthySafe03.stderr	153	log plain
-rw-r--r--	TrustworthySafe04.hs	273	log plain
-rw-r--r--	UnsafeInfered01.hs	134	log plain
-rw-r--r--	UnsafeInfered01.stderr	114	log plain
-rw-r--r--	UnsafeInfered01_A.hs	120	log plain
-rw-r--r--	UnsafeInfered02.hs	128	log plain
-rw-r--r--	UnsafeInfered02.stderr	114	log plain
-rw-r--r--	UnsafeInfered02_A.hs	104	log plain
-rw-r--r--	UnsafeInfered03.hs	128	log plain
-rw-r--r--	UnsafeInfered03.stderr	114	log plain
-rw-r--r--	UnsafeInfered03_A.hs	116	log plain
-rw-r--r--	UnsafeInfered05.hs	128	log plain
-rw-r--r--	UnsafeInfered05.stderr	114	log plain
-rw-r--r--	UnsafeInfered05_A.hs	246	log plain
-rw-r--r--	UnsafeInfered06.hs	112	log plain
-rw-r--r--	UnsafeInfered06.stderr	114	log plain
-rw-r--r--	UnsafeInfered06_A.hs	194	log plain
-rw-r--r--	UnsafeInfered08.hs	128	log plain
-rw-r--r--	UnsafeInfered08_A.hs	254	log plain
-rw-r--r--	UnsafeInfered09.hs	128	log plain
-rw-r--r--	UnsafeInfered09.stderr	114	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	174	log plain
-rw-r--r--	UnsafeInfered10.stderr	114	log plain
-rw-r--r--	UnsafeInfered10_A.hs	207	log plain
-rw-r--r--	UnsafeInfered11.hs	174	log plain
-rw-r--r--	UnsafeInfered11.stderr	377	log plain
-rw-r--r--	UnsafeInfered11_A.hs	1217	log plain
-rw-r--r--	UnsafeInfered12.hs	150	log plain
-rw-r--r--	UnsafeInfered12.stderr	221	log plain
-rw-r--r--	UnsafeInfered13.hs	221	log plain
-rw-r--r--	UnsafeInfered14.hs	225	log plain
-rw-r--r--	UnsafeInfered15.hs	224	log plain
-rw-r--r--	UnsafeInfered16.hs	336	log plain
-rw-r--r--	UnsafeInfered17.hs	223	log plain
-rw-r--r--	UnsafeInfered18.hs	234	log plain
-rw-r--r--	UnsafeInfered18.stderr	180	log plain
-rw-r--r--	UnsafeInfered19.hs	241	log plain
-rw-r--r--	UnsafeWarn01.hs	211	log plain
-rw-r--r--	UnsafeWarn01.stderr	241	log plain
-rw-r--r--	UnsafeWarn02.hs	195	log plain
-rw-r--r--	UnsafeWarn02.stderr	198	log plain
-rw-r--r--	UnsafeWarn03.hs	240	log plain
-rw-r--r--	UnsafeWarn03.stderr	241	log plain
-rw-r--r--	UnsafeWarn04.hs	252	log plain
-rw-r--r--	UnsafeWarn04.stderr	241	log plain
-rw-r--r--	UnsafeWarn05.hs	393	log plain
-rw-r--r--	UnsafeWarn05.stderr	481	log plain
-rw-r--r--	UnsafeWarn06.hs	263	log plain
-rw-r--r--	UnsafeWarn06.stderr	238	log plain
-rw-r--r--	UnsafeWarn07.hs	292	log plain
-rw-r--r--	UnsafeWarn07.stderr	239	log plain
-rw-r--r--	all.T	2870	log plain