typing-gadts\tests\testsuite - delta/ocaml.git

Mode	Name	Size
-rw-r--r--	ambiguity.ml	7390	log plain
-rw-r--r--	ambivalent_apply.ml	1374	log plain
-rw-r--r--	didier.ml	2843	log plain
-rw-r--r--	dynamic_frisch.ml	21561	log plain
-rw-r--r--	gadthead.ml	555	log plain
-rw-r--r--	name_existentials.ml	3362	log plain
-rw-r--r--	nested_equations.ml	2724	log plain
-rw-r--r--	omega07.ml	35085	log plain
-rw-r--r--	or_patterns.ml	15996	log plain
-rw-r--r--	packed-module-recasting.ml	12512	log plain
-rw-r--r--	pr10189.ml	3997	log plain
-rw-r--r--	pr10271.ml	693	log plain
-rw-r--r--	pr10348.ml	1261	log plain
-rw-r--r--	pr10735.ml	630	log plain
-rw-r--r--	pr10907.ml	1189	log plain
-rw-r--r--	pr11888.ml	1268	log plain
-rw-r--r--	pr5332.ml	899	log plain
-rw-r--r--	pr5689.ml	3841	log plain
-rw-r--r--	pr5785.ml	665	log plain
-rw-r--r--	pr5848.ml	387	log plain
-rw-r--r--	pr5906.ml	1272	log plain
-rw-r--r--	pr5948.ml	1572	log plain
-rw-r--r--	pr5981.ml	1379	log plain
-rw-r--r--	pr5985.ml	6644	log plain
-rw-r--r--	pr5989.ml	1413	log plain
-rw-r--r--	pr5997.ml	1280	log plain
-rw-r--r--	pr6158.ml	735	log plain
-rw-r--r--	pr6163.ml	863	log plain
-rw-r--r--	pr6174.ml	418	log plain
-rw-r--r--	pr6241.ml	927	log plain
-rw-r--r--	pr6690.ml	1840	log plain
-rw-r--r--	pr6817.ml	878	log plain
-rw-r--r--	pr6934.ml	201	log plain
-rw-r--r--	pr6980.ml	1038	log plain
-rw-r--r--	pr6993_bad.ml	887	log plain
-rw-r--r--	pr7016.ml	991	log plain
-rw-r--r--	pr7160.ml	818	log plain
-rw-r--r--	pr7214.ml	1208	log plain
-rw-r--r--	pr7222.ml	910	log plain
-rw-r--r--	pr7230.ml	192	log plain
-rw-r--r--	pr7234.ml	999	log plain
-rw-r--r--	pr7260.ml	646	log plain
-rw-r--r--	pr7269.ml	2326	log plain
-rw-r--r--	pr7298.ml	330	log plain
-rw-r--r--	pr7374.ml	1760	log plain
-rw-r--r--	pr7378.ml	792	log plain
-rw-r--r--	pr7381.ml	438	log plain
-rw-r--r--	pr7390.ml	847	log plain
-rw-r--r--	pr7391.ml	1846	log plain
-rw-r--r--	pr7397.ml	395	log plain
-rw-r--r--	pr7421.ml	873	log plain
-rw-r--r--	pr7432.ml	832	log plain
-rw-r--r--	pr7520.ml	254	log plain
-rw-r--r--	pr7618.ml	1474	log plain
-rw-r--r--	pr7747.ml	905	log plain
-rw-r--r--	pr7902.ml	857	log plain
-rw-r--r--	pr9019.ml	5210	log plain
-rw-r--r--	pr9759.ml	670	log plain
-rw-r--r--	pr9799.ml	318	log plain
-rw-r--r--	principality-and-gadts.ml	11149	log plain
-rw-r--r--	return_type.ml	741	log plain
-rw-r--r--	term-conv.ml	7175	log plain
-rw-r--r--	test.ml	35802	log plain
-rw-r--r--	unexpected_existentials.ml	3985	log plain
-rw-r--r--	unify_mb.ml	7564	log plain
-rw-r--r--	variables_in_mcomp.ml	450	log plain
-rw-r--r--	yallop_bugs.ml	2351	log plain