aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-08-14 10:27:43 +0200
committerMartin Odersky <odersky@gmail.com>2014-08-16 11:56:58 +0200
commit90aef309eaf72ab0c09494eb030c57789955bb21 (patch)
treedf3b29d9f0e3d527ff49761f905737424896040d /test
parent7d414eb69b28fa0f6855168aa7afe43a75b3f23e (diff)
downloaddotty-90aef309eaf72ab0c09494eb030c57789955bb21.tar.gz
dotty-90aef309eaf72ab0c09494eb030c57789955bb21.tar.bz2
dotty-90aef309eaf72ab0c09494eb030c57789955bb21.zip
Moved -Ycheck after Splitter
This required a change in Ycheck where we now only test that the new tree has a subtype of the old one. Previously the requirement was "same type" but this caused "sigs.scala" to fail because a new tree had a constant Int type where the old tree had just Int as the type. It's hard to guard against these narrowings and they look harmless.
Diffstat (limited to 'test')
-rw-r--r--test/dotc/tests.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
index 12a2a8cb8..795e11c75 100644
--- a/test/dotc/tests.scala
+++ b/test/dotc/tests.scala
@@ -14,7 +14,7 @@ class tests extends CompilerTest {
"-pagewidth", "160")
implicit val defaultOptions = noCheckOptions ++ List(
- "-Ycheck:refchecks,tailrec"
+ "-Ycheck:splitter"
)
val twice = List("#runs", "2", "-YnoDoubleBindings")