diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-07-20 14:48:34 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-08-03 17:28:34 +0200 |
| commit | e33a7385268084138e3d51faffdff33b540ad942 (patch) | |
| tree | ae547106f6a363c5487535393bc1f971441bc55f /test/dotc/tests.scala | |
| parent | 38761d9d11a42635e64d6df54ecaf1968797e7e8 (diff) | |
| download | dotty-e33a7385268084138e3d51faffdff33b540ad942.tar.gz dotty-e33a7385268084138e3d51faffdff33b540ad942.tar.bz2 dotty-e33a7385268084138e3d51faffdff33b540ad942.zip | |
Enabled variance checking
Variance checking is now run as part of type-checking.
Fixed tests that exhibited variance errors. Added tests where some classes of
variance errors should be detected.
Diffstat (limited to 'test/dotc/tests.scala')
| -rw-r--r-- | test/dotc/tests.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index 2d06e73a8..fa577573a 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -85,7 +85,9 @@ class tests extends CompilerTest { @Test def neg_tailcall2 = compileFile(negDir, "tailcall/tailrec-2", xerrors = 2) @Test def neg_tailcall3 = compileFile(negDir, "tailcall/tailrec-3", xerrors = 2) @Test def neg_t1843 = compileFile(negDir, "t1843", xerrors = 1) + @Test def neg_t1843_variances = compileFile(negDir, "t1843-variances", xerrors = 1) @Test def neg_t2994 = compileFile(negDir, "t2994", xerrors = 2) + @Test def neg_variances = compileFile(negDir, "variances", xerrors = 2) @Test def dotc = compileDir(dotcDir + "tools/dotc", twice) @Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", twice) |