diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-12-13 14:47:12 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-12-13 17:57:57 +0100 |
| commit | 0cee59bbf965440de813d5813c6086b97e444d5f (patch) | |
| tree | 862c70b350bb7342815114581634c6c579c7e4df /test/dotc/tests.scala | |
| parent | f3d887f079efbe7dbb53abd22bd212eee8e1c67a (diff) | |
| download | dotty-0cee59bbf965440de813d5813c6086b97e444d5f.tar.gz dotty-0cee59bbf965440de813d5813c6086b97e444d5f.tar.bz2 dotty-0cee59bbf965440de813d5813c6086b97e444d5f.zip | |
Two new tests
1) Verify we survive illegal infinite paths. Closes #91.
2) Verify we handle fbounds in and types correctly.
Diffstat (limited to 'test/dotc/tests.scala')
| -rw-r--r-- | test/dotc/tests.scala | 1 |
1 files changed, 1 insertions, 0 deletions
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) |