aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2017-03-17 12:10:32 +0100
committerMartin Odersky <odersky@gmail.com>2017-04-06 13:15:28 +0200
commit30af0b52e4e5b185ef84496559dc44c8d93d6357 (patch)
treecbe45d7337216a468b13986c08229a04d504ea19
parentc7718516fdad609625215f4fb1c7cffe27db3af5 (diff)
downloaddotty-30af0b52e4e5b185ef84496559dc44c8d93d6357.tar.gz
dotty-30af0b52e4e5b185ef84496559dc44c8d93d6357.tar.bz2
dotty-30af0b52e4e5b185ef84496559dc44c8d93d6357.zip
Disable -strict when compiling dotty.
It seems we need a more refined way to deal with non-variant variables in pattern matches. See branch change-patmat-undet for a WIP. For the moment we disable -strict to be able to compile latest version of dotty. (reverted from commit c8fe830f8a382eb965c2231064fa286ee8f0a4ec)
-rw-r--r--compiler/test/dotc/tests.scala6
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/test/dotc/tests.scala b/compiler/test/dotc/tests.scala
index cc860c29e..1c80767ee 100644
--- a/compiler/test/dotc/tests.scala
+++ b/compiler/test/dotc/tests.scala
@@ -98,8 +98,8 @@ class tests extends CompilerTest {
val typerDir = dotcDir + "typer/"
val libDir = "../library/src/"
- def dottyBootedLib = compileDir(libDir, ".", List("-deep", "-Ycheck-reentrant") ::: defaultOptions)(allowDeepSubtypes) // note the -deep argument
- def dottyDependsOnBootedLib = compileDir(dottyDir, ".", List("-deep", "-Ycheck-reentrant") ::: defaultOptions)(allowDeepSubtypes) // note the -deep argument
+ def dottyBootedLib = compileDir(libDir, ".", List("-deep", "-Ycheck-reentrant", "-strict") ::: defaultOptions)(allowDeepSubtypes) // note the -deep argument
+ def dottyDependsOnBootedLib = compileDir(dottyDir, ".", List("-deep", "-Ycheck-reentrant", "-strict") ::: defaultOptions)(allowDeepSubtypes) // note the -deep argument
@Before def cleanup(): Unit = {
// remove class files from stdlib and tests compilation
@@ -354,7 +354,7 @@ class tests extends CompilerTest {
val logging = if (false) List("-Ylog-classpath", "-verbose") else Nil
val opt = List("-priorityclasspath", defaultOutputDir) ++ logging
// first compile dotty
- compileDir(dottyDir, ".", List("-deep", "-Ycheck-reentrant") ++ logging)(allowDeepSubtypes)
+ compileDir(dottyDir, ".", List("-deep", "-Ycheck-reentrant", "-strict") ++ logging)(allowDeepSubtypes)
compileDir(libDir, "dotty", "-deep" :: opt)
compileDir(libDir, "scala", "-deep" :: opt)