diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-14 18:24:36 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-14 18:24:41 +0100 |
| commit | dec46172ea9f38e3f1d9aeaac8e2984c6ea3a878 (patch) | |
| tree | 099be3641e234d2e5cc0cb2f8da1e58c1e526e2b /test | |
| parent | ef9c11f7e34b39229254353e245a53aa4d4777d0 (diff) | |
| download | dotty-dec46172ea9f38e3f1d9aeaac8e2984c6ea3a878.tar.gz dotty-dec46172ea9f38e3f1d9aeaac8e2984c6ea3a878.tar.bz2 dotty-dec46172ea9f38e3f1d9aeaac8e2984c6ea3a878.zip | |
New test: moduleSubtyping
Tests (non)equivalence of modules and their ThisTypes.
Diffstat (limited to 'test')
| -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 71668823a..89ac2b6c4 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -117,6 +117,7 @@ class tests extends CompilerTest { @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 neg_i0281 = compileFile(negDir, "i0281-null-primitive-conforms", xerrors = 3) + @Test def neg_moduleSubtyping = compileFile(negDir, "moduleSubtyping", xerrors = 4) @Test def dotc = compileDir(dotcDir + "tools/dotc", failedOther)(allowDeepSubtypes) @Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", failedOther) // similar to dotc_config |