diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-21 17:49:27 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-22 12:21:26 +0200 |
commit | f1b3859911ee04a90a0b169c5eefa2c64ce5d265 (patch) | |
tree | 0d8d90bc89d62a83c7bd1395ecac1e43f922bd09 /test/dotc | |
parent | 54f5899b0888983495f5ff70f561d9634350f3f2 (diff) | |
download | dotty-f1b3859911ee04a90a0b169c5eefa2c64ce5d265.tar.gz dotty-f1b3859911ee04a90a0b169c5eefa2c64ce5d265.tar.bz2 dotty-f1b3859911ee04a90a0b169c5eefa2c64ce5d265.zip |
Add well-formedness checking for created symbols
Enforces various restrictions of definitions.
Diffstat (limited to 'test/dotc')
-rw-r--r-- | test/dotc/tests.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala index 7674b1d6f..337285c04 100644 --- a/test/dotc/tests.scala +++ b/test/dotc/tests.scala @@ -157,6 +157,9 @@ class tests extends CompilerTest { @Test def neg_firstError = compileFile(negDir, "firstError", xerrors = 3) @Test def neg_implicitLowerBound = compileFile(negDir, "implicit-lower-bound", xerrors = 1) @Test def neg_partialApplications = compileFile(negDir, "partialApplications", xerrors = 8) + @Test def neg_validate = compileFile(negDir, "validate", xerrors = 18) + @Test def neg_validateParsing = compileFile(negDir, "validate-parsing", xerrors = 7) + @Test def neg_validateRefchecks = compileFile(negDir, "validate-refchecks", xerrors = 2) @Test def run_all = runFiles(runDir) |