From 0cee59bbf965440de813d5813c6086b97e444d5f Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 13 Dec 2014 14:47:12 +0100 Subject: Two new tests 1) Verify we survive illegal infinite paths. Closes #91. 2) Verify we handle fbounds in and types correctly. --- test/dotc/tests.scala | 1 + 1 file changed, 1 insertion(+) (limited to 'test/dotc/tests.scala') diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index f5072be96..db1121f97 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -107,6 +107,7 @@ class tests extends CompilerTest { @Test def neg_cycles = compileFile(negDir, "cycles", xerrors = 8) @Test def neg_boundspropagation = compileFile(negDir, "boundspropagation", xerrors = 4) @Test def neg_refinedSubtyping = compileFile(negDir, "refinedSubtyping", xerrors = 2) + @Test def neg_i0091_infpaths = compileFile(negDir, "i0091-infpaths", xerrors = 3) @Test def neg_i0248_inherit_refined = compileFile(negDir, "i0248-inherit-refined", xerrors = 4) @Test def dotc = compileDir(dotcDir + "tools/dotc", twice)(allowDeepSubtypes) -- cgit v1.2.3