aboutsummaryrefslogtreecommitdiff
path: root/test/dotc/tests.scala
diff options
context:
space:
mode:
authorDmitry Petrashko <dmitry.petrashko@gmail.com>2014-09-17 17:58:54 +0200
committerDmitry Petrashko <dmitry.petrashko@gmail.com>2014-09-17 18:25:25 +0200
commit0a515fca98408d63267c27003e1ef12fd9946aa0 (patch)
tree2b45d2fbebebc966f7ca1bec0f00f22f9c189500 /test/dotc/tests.scala
parent09a771897f62872554b88836eebeb05735b9c2f7 (diff)
downloaddotty-0a515fca98408d63267c27003e1ef12fd9946aa0.tar.gz
dotty-0a515fca98408d63267c27003e1ef12fd9946aa0.tar.bz2
dotty-0a515fca98408d63267c27003e1ef12fd9946aa0.zip
All pat-mat specific tests succeed now.
Except t1048 which infers incorrect type in typer, patmat creates a tree that computes a more precise one that fails to typecheck Disabling erasure due to dozens of "Type BLA is illegal after erasure" errors.
Diffstat (limited to 'test/dotc/tests.scala')
-rw-r--r--test/dotc/tests.scala20
1 files changed, 12 insertions, 8 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
index d5eb9fefd..0a545919b 100644
--- a/test/dotc/tests.scala
+++ b/test/dotc/tests.scala
@@ -13,7 +13,7 @@ class tests extends CompilerTest {
// "-Yshow-suppressed-errors",
"-pagewidth", "160")
- implicit val defaultOptions = noCheckOptions ++ List("-Ycheck:patternMatcher:literalize,capturedVars")
+ implicit val defaultOptions = noCheckOptions ++ List("-Ycheck:patternMatcher,outerAcc,erasure", "-Ystop-before:erasure")
val twice = List("#runs", "2", "-YnoDoubleBindings", "-Ystop-before:terminal")
val doErase = List("-Ystop-before:terminal")
@@ -24,14 +24,15 @@ class tests extends CompilerTest {
val dotcDir = "./src/dotty/"
- /*@Test def pos_erasure = compileFile(posDir, "erasure", doErase)
+ @Test def pos_t2168_pat = compileFile(posDir, "t2168", doErase)
+ @Test def pos_erasure = compileFile(posDir, "erasure", doErase)
@Test def pos_Coder() = compileFile(posDir, "Coder", doErase)
@Test def pos_blockescapes() = compileFile(posDir, "blockescapes", doErase)
@Test def pos_collections() = compileFile(posDir, "collections", doErase)
@Test def pos_functions1() = compileFile(posDir, "functions1", doErase)
@Test def pos_implicits1() = compileFile(posDir, "implicits1", doErase)
- @Test def pos_inferred() = compileFile(posDir, "inferred", doErase)*/
- @Test def pos_Patterns() = compileFile(posDir, "Patterns", doErase)/*
+ @Test def pos_inferred() = compileFile(posDir, "inferred", doErase)
+ @Test def pos_Patterns() = compileFile(posDir, "Patterns")
@Test def pos_selftypes() = compileFile(posDir, "selftypes", doErase)
@Test def pos_varargs() = compileFile(posDir, "varargs", doErase)
@Test def pos_opassign() = compileFile(posDir, "opassign", doErase)
@@ -92,14 +93,16 @@ class tests extends CompilerTest {
@Test def neg_typetest = compileFile(negDir, "typetest", xerrors = 1)
@Test def dotc = compileDir(dotcDir + "tools/dotc", twice)
- @Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", twice)
+ //@Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", twice) // doesn't stop
@Test def dotc_config = compileDir(dotcDir + "tools/dotc/config", twice)
- @Test def dotc_core = compileDir(dotcDir + "tools/dotc/core", twice)
+ @Test def dotc_core = compileDir(dotcDir + "tools/dotc/core", twice) // fails <notype> doesn't take parameters
@Test def dotc_core_pickling = compileDir(dotcDir + "tools/dotc/core/pickling", twice)
+ // [error] found : => Any(o141.get._1)
+ // [error] required: dotty.tools.dotc.core.Flags.FlagSet
@Test def dotc_core_transform = compileDir(dotcDir + "tools/dotc/core/transform", twice)
@Test def dotc_transform = compileDir(dotcDir + "tools/dotc/transform", twice)
@Test def dotc_parsing = compileDir(dotcDir + "tools/dotc/parsing", twice)
- @Test def dotc_printing = compileDir(dotcDir + "tools/dotc/printing", twice)
+ //@Test def dotc_printing = compileDir(dotcDir + "tools/dotc/printing", twice)
@Test def dotc_reporting = compileDir(dotcDir + "tools/dotc/reporting", twice)
@Test def dotc_typer = compileDir(dotcDir + "tools/dotc/typer", twice)
@Test def dotc_util = compileDir(dotcDir + "tools/dotc/util", twice)
@@ -114,12 +117,13 @@ class tests extends CompilerTest {
"-Xprompt",
"#runs", "2"))
+ // fails <notype> doesn't take parameter
@Test def testIssue_34 = compileArgs(Array(
dotcDir + "tools/dotc/config/Properties.scala",
dotcDir + "tools/dotc/config/PathResolver.scala",
//"-Ylog:frontend",
"-Xprompt",
- "#runs", "2"))*/
+ "#runs", "2"))
//@Test def dotc_compilercommand = compileFile(dotcDir + "tools/dotc/config/", "CompilerCommand")
}