diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-04-04 01:15:30 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-01 13:27:42 +0200 |
commit | 06e1905aed315d5199936797c9e9493326b74595 (patch) | |
tree | db50094702d250935ecbafd465542d4c11adc5d5 /tests | |
parent | 411d5be477cc862b14d8938c591524d8bf37d4cd (diff) | |
download | dotty-06e1905aed315d5199936797c9e9493326b74595.tar.gz dotty-06e1905aed315d5199936797c9e9493326b74595.tar.bz2 dotty-06e1905aed315d5199936797c9e9493326b74595.zip |
Enable untried pos tests related to value classes
Each test needs to have its own package because pos_all will try to
compile the whole valueclasses directory at once.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/valueclasses/nullAsInstanceOfVC.scala | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t5853.scala (renamed from tests/untried/pos/t5853.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6029.scala (renamed from tests/untried/pos/t6029.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6034.scala (renamed from tests/untried/pos/t6034.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6215.scala (renamed from tests/untried/pos/t6215.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6260.scala (renamed from tests/untried/pos/t6260.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6260b.scala (renamed from tests/untried/pos/t6260b.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6358.scala (renamed from tests/untried/pos/t6358.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6358_2.scala (renamed from tests/untried/pos/t6358_2.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6601/PrivateValueClass_1.scala (renamed from tests/untried/pos/t6601/PrivateValueClass_1.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6601/UsePrivateValueClass_2.scala (renamed from tests/untried/pos/t6601/UsePrivateValueClass_2.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t6651.scala (renamed from tests/untried/pos/t6651.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/t7818.scala (renamed from tests/untried/pos/t7818.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/value-class-override-no-spec.flags (renamed from tests/untried/pos/value-class-override-no-spec.flags) | 0 | ||||
-rw-r--r-- | tests/pos/valueclasses/value-class-override-no-spec.scala (renamed from tests/untried/pos/value-class-override-no-spec.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/value-class-override-spec.scala (renamed from tests/untried/pos/value-class-override-spec.scala) | 2 | ||||
-rw-r--r-- | tests/pos/valueclasses/xlint1.flags (renamed from tests/untried/pos/xlint1.flags) | 0 | ||||
-rw-r--r-- | tests/pos/valueclasses/xlint1.scala (renamed from tests/untried/pos/xlint1.scala) | 2 | ||||
-rw-r--r-- | tests/untried/pos/delambdafy_t6260_method.check | 13 | ||||
-rw-r--r-- | tests/untried/pos/delambdafy_t6260_method.flags | 1 | ||||
-rw-r--r-- | tests/untried/pos/delambdafy_t6260_method.scala | 17 | ||||
-rw-r--r-- | tests/untried/pos/t6260.flags | 1 |
22 files changed, 32 insertions, 32 deletions
diff --git a/tests/pos/valueclasses/nullAsInstanceOfVC.scala b/tests/pos/valueclasses/nullAsInstanceOfVC.scala index 0c1232883..43af839ec 100644 --- a/tests/pos/valueclasses/nullAsInstanceOfVC.scala +++ b/tests/pos/valueclasses/nullAsInstanceOfVC.scala @@ -1,3 +1,5 @@ +package nullAsInstanceOfVC + // These issues were originally reported in SI-5866 and SI-8097 // FIXME: Make this a run test once we have run tests. diff --git a/tests/untried/pos/t5853.scala b/tests/pos/valueclasses/t5853.scala index 2ebb6667d..82ac9dd1d 100644 --- a/tests/untried/pos/t5853.scala +++ b/tests/pos/valueclasses/t5853.scala @@ -1,3 +1,5 @@ +package t5853 + diff --git a/tests/untried/pos/t6029.scala b/tests/pos/valueclasses/t6029.scala index 8f1bbb4eb..13f8f8830 100644 --- a/tests/untried/pos/t6029.scala +++ b/tests/pos/valueclasses/t6029.scala @@ -1,3 +1,5 @@ +package t6029 + final case class V[A](x: A) extends AnyVal { def flatMap[B](f: A => V[B]) = if (true) this else f(x) } diff --git a/tests/untried/pos/t6034.scala b/tests/pos/valueclasses/t6034.scala index 3558d7ff0..8e2fb625c 100644 --- a/tests/untried/pos/t6034.scala +++ b/tests/pos/valueclasses/t6034.scala @@ -1 +1,3 @@ +package t6034 + final class OptPlus[+A](val x: A) extends AnyVal { } diff --git a/tests/untried/pos/t6215.scala b/tests/pos/valueclasses/t6215.scala index 2f66892b6..579503e6c 100644 --- a/tests/untried/pos/t6215.scala +++ b/tests/pos/valueclasses/t6215.scala @@ -1 +1,3 @@ +package t6215 + class Foo(val v: String) extends AnyVal { private def len = v.length ; def f = len } diff --git a/tests/untried/pos/t6260.scala b/tests/pos/valueclasses/t6260.scala index 8edfe4ac3..675c3c16a 100644 --- a/tests/untried/pos/t6260.scala +++ b/tests/pos/valueclasses/t6260.scala @@ -1,3 +1,5 @@ +package t6260 + class Box[X](val x: X) extends AnyVal { def map[Y](f: X => Y): Box[Y] = ((bx: Box[X]) => new Box(f(bx.x)))(this) diff --git a/tests/untried/pos/t6260b.scala b/tests/pos/valueclasses/t6260b.scala index 73e2e58f7..fb9a2961b 100644 --- a/tests/untried/pos/t6260b.scala +++ b/tests/pos/valueclasses/t6260b.scala @@ -1,3 +1,5 @@ +package t6260b + class X(val value: Object) extends AnyVal { def or(alt: => X): X = this } class Y { def f = new X("") or new X("") } diff --git a/tests/untried/pos/t6358.scala b/tests/pos/valueclasses/t6358.scala index 25539c885..291ae2e9e 100644 --- a/tests/untried/pos/t6358.scala +++ b/tests/pos/valueclasses/t6358.scala @@ -1,3 +1,5 @@ +package t6358 + class L(val t: Int) extends AnyVal { def lazyString = { lazy val x = t.toString diff --git a/tests/untried/pos/t6358_2.scala b/tests/pos/valueclasses/t6358_2.scala index 7c2beb60d..effac505a 100644 --- a/tests/untried/pos/t6358_2.scala +++ b/tests/pos/valueclasses/t6358_2.scala @@ -1,3 +1,5 @@ +package t6358_2 + class Y[T](val i: Option[T]) extends AnyVal { def q: List[T] = { lazy val e: List[T] = i.toList diff --git a/tests/untried/pos/t6601/PrivateValueClass_1.scala b/tests/pos/valueclasses/t6601/PrivateValueClass_1.scala index dc0137420..fc6f3e422 100644 --- a/tests/untried/pos/t6601/PrivateValueClass_1.scala +++ b/tests/pos/valueclasses/t6601/PrivateValueClass_1.scala @@ -1 +1,3 @@ +package t6601 + class V private (val a: Any) extends AnyVal diff --git a/tests/untried/pos/t6601/UsePrivateValueClass_2.scala b/tests/pos/valueclasses/t6601/UsePrivateValueClass_2.scala index ec9793751..acd0dbef9 100644 --- a/tests/untried/pos/t6601/UsePrivateValueClass_2.scala +++ b/tests/pos/valueclasses/t6601/UsePrivateValueClass_2.scala @@ -1,3 +1,5 @@ +package t6601 + object Test { // After the first attempt to make seprately compiled value // classes respect the privacy of constructors, we got: diff --git a/tests/untried/pos/t6651.scala b/tests/pos/valueclasses/t6651.scala index 55a3b74e4..6201b6de3 100644 --- a/tests/untried/pos/t6651.scala +++ b/tests/pos/valueclasses/t6651.scala @@ -1,3 +1,5 @@ +package t6651 + class YouAreYourself[A <: AnyRef](val you: A) extends AnyVal { def yourself: you.type = you } diff --git a/tests/untried/pos/t7818.scala b/tests/pos/valueclasses/t7818.scala index 77b99e7d5..31f542366 100644 --- a/tests/untried/pos/t7818.scala +++ b/tests/pos/valueclasses/t7818.scala @@ -1,3 +1,5 @@ +package t7818 + class Observable1[+T](val asJava: JObservable[_ <: T]) extends AnyVal { private def foo[X](a: JObservable[X]): JObservable[X] = ??? // was generating a type error as the type of the RHS included an existential diff --git a/tests/untried/pos/value-class-override-no-spec.flags b/tests/pos/valueclasses/value-class-override-no-spec.flags index a7e64e4f0..a7e64e4f0 100644 --- a/tests/untried/pos/value-class-override-no-spec.flags +++ b/tests/pos/valueclasses/value-class-override-no-spec.flags diff --git a/tests/untried/pos/value-class-override-no-spec.scala b/tests/pos/valueclasses/value-class-override-no-spec.scala index 79de5d930..058e3e911 100644 --- a/tests/untried/pos/value-class-override-no-spec.scala +++ b/tests/pos/valueclasses/value-class-override-no-spec.scala @@ -1,3 +1,5 @@ +package value_class_override_no_spec + // There are two versions of this tests: one with and one without specialization. // The bug was only exposed *without* specialization. trait T extends Any { diff --git a/tests/untried/pos/value-class-override-spec.scala b/tests/pos/valueclasses/value-class-override-spec.scala index 79de5d930..c315be8d0 100644 --- a/tests/untried/pos/value-class-override-spec.scala +++ b/tests/pos/valueclasses/value-class-override-spec.scala @@ -1,3 +1,5 @@ +package value_class_override_spec + // There are two versions of this tests: one with and one without specialization. // The bug was only exposed *without* specialization. trait T extends Any { diff --git a/tests/untried/pos/xlint1.flags b/tests/pos/valueclasses/xlint1.flags index 7949c2afa..7949c2afa 100644 --- a/tests/untried/pos/xlint1.flags +++ b/tests/pos/valueclasses/xlint1.flags diff --git a/tests/untried/pos/xlint1.scala b/tests/pos/valueclasses/xlint1.scala index 27936d8b1..c2f39f9b3 100644 --- a/tests/untried/pos/xlint1.scala +++ b/tests/pos/valueclasses/xlint1.scala @@ -1,3 +1,5 @@ +package xlint1 + package object foo { implicit class Bar[T](val x: T) extends AnyVal { def bippy = 1 diff --git a/tests/untried/pos/delambdafy_t6260_method.check b/tests/untried/pos/delambdafy_t6260_method.check deleted file mode 100644 index f5cd6947d..000000000 --- a/tests/untried/pos/delambdafy_t6260_method.check +++ /dev/null @@ -1,13 +0,0 @@ -delambdafy_t6260_method.scala:3: error: bridge generated for member method apply: (bx: Object)Object in class map$extension1 -which overrides method apply: (v1: Object)Object in trait Function1 -clashes with definition of the member itself; -both have erased type (bx: Object)Object - ((bx: Box[X]) => new Box(f(bx.x)))(this) - ^ -delambdafy_t6260_method.scala:8: error: bridge generated for member method apply: (bx: Object)Object in class map21 -which overrides method apply: (v1: Object)Object in trait Function1 -clashes with definition of the member itself; -both have erased type (bx: Object)Object - ((bx: Box[X]) => new Box(f(bx.x)))(self) - ^ -two errors found diff --git a/tests/untried/pos/delambdafy_t6260_method.flags b/tests/untried/pos/delambdafy_t6260_method.flags deleted file mode 100644 index 48b438ddf..000000000 --- a/tests/untried/pos/delambdafy_t6260_method.flags +++ /dev/null @@ -1 +0,0 @@ --Ydelambdafy:method diff --git a/tests/untried/pos/delambdafy_t6260_method.scala b/tests/untried/pos/delambdafy_t6260_method.scala deleted file mode 100644 index 8edfe4ac3..000000000 --- a/tests/untried/pos/delambdafy_t6260_method.scala +++ /dev/null @@ -1,17 +0,0 @@ -class Box[X](val x: X) extends AnyVal { - def map[Y](f: X => Y): Box[Y] = - ((bx: Box[X]) => new Box(f(bx.x)))(this) -} - -object Test { - def map2[X, Y](self: Box[X], f: X => Y): Box[Y] = - ((bx: Box[X]) => new Box(f(bx.x)))(self) - - def main(args: Array[String]): Unit = { - val f = (x: Int) => x + 1 - val g = (x: String) => x + x - - map2(new Box(42), f) - new Box("abc") map g - } -} diff --git a/tests/untried/pos/t6260.flags b/tests/untried/pos/t6260.flags deleted file mode 100644 index 2349d8294..000000000 --- a/tests/untried/pos/t6260.flags +++ /dev/null @@ -1 +0,0 @@ --Ydelambdafy:inline |