diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-10-07 12:42:38 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-10-07 13:41:58 +0200 |
| commit | 6cca64fa0aa37942812d1c870b99f309dab67352 (patch) | |
| tree | 5d2e357e72c22ca64a8fad770a8002fc4ff15bcf /test/dotc/tests.scala | |
| parent | a8c8bdad57941071b85caa54bc57b84d8ca7d526 (diff) | |
| download | dotty-6cca64fa0aa37942812d1c870b99f309dab67352.tar.gz dotty-6cca64fa0aa37942812d1c870b99f309dab67352.tar.bz2 dotty-6cca64fa0aa37942812d1c870b99f309dab67352.zip | |
Check that some types are not higher-kinded.
Invalidates #813. Review by @darkdimius.
Diffstat (limited to 'test/dotc/tests.scala')
| -rw-r--r-- | test/dotc/tests.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index 2b5b86be1..b22da9b5d 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -104,7 +104,7 @@ class tests extends CompilerTest { @Test def neg_typedapply() = compileFile(negDir, "typedapply", xerrors = 4) @Test def neg_typedidents() = compileFile(negDir, "typedIdents", xerrors = 2) @Test def neg_assignments() = compileFile(negDir, "assignments", xerrors = 3) - @Test def neg_typers() = compileFile(negDir, "typers", xerrors = 10)(allowDoubleBindings) + @Test def neg_typers() = compileFile(negDir, "typers", xerrors = 13)(allowDoubleBindings) @Test def neg_privates() = compileFile(negDir, "privates", xerrors = 2) @Test def neg_rootImports = compileFile(negDir, "rootImplicits", xerrors = 2) @Test def neg_templateParents() = compileFile(negDir, "templateParents", xerrors = 3) |