diff options
author | Martin Odersky <odersky@gmail.com> | 2010-10-16 16:55:30 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2010-10-16 16:55:30 +0000 |
commit | 0642bdf04484bfccd03abacdd278750eebf22d98 (patch) | |
tree | 91f3846716e76231053fb71f1130d58cfdc2e0e1 /test/files/pos | |
parent | 80dc8f4e275aa75f1fd6a2448cf7c47b90617bc5 (diff) | |
download | scala-0642bdf04484bfccd03abacdd278750eebf22d98.tar.gz scala-0642bdf04484bfccd03abacdd278750eebf22d98.tar.bz2 scala-0642bdf04484bfccd03abacdd278750eebf22d98.zip |
new tests. no review.
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/3567/Foo.scala | 3 | ||||
-rw-r--r-- | test/files/pos/3567/Outer.java | 7 | ||||
-rw-r--r-- | test/files/pos/t3672.scala | 4 | ||||
-rw-r--r-- | test/files/pos/t3833.scala | 26 | ||||
-rw-r--r-- | test/files/pos/t3837.scala | 10 | ||||
-rw-r--r-- | test/files/pos/t3856.scala | 8 |
6 files changed, 58 insertions, 0 deletions
diff --git a/test/files/pos/3567/Foo.scala b/test/files/pos/3567/Foo.scala new file mode 100644 index 0000000000..4f83ba9f43 --- /dev/null +++ b/test/files/pos/3567/Foo.scala @@ -0,0 +1,3 @@ +class Foo { + val foo = Outer.f() +} diff --git a/test/files/pos/3567/Outer.java b/test/files/pos/3567/Outer.java new file mode 100644 index 0000000000..f1f124b808 --- /dev/null +++ b/test/files/pos/3567/Outer.java @@ -0,0 +1,7 @@ +class Outer<T> { + class Inner { + } + static Outer<Integer>.Inner f() { + return null; + } +} diff --git a/test/files/pos/t3672.scala b/test/files/pos/t3672.scala new file mode 100644 index 0000000000..b2752ce21f --- /dev/null +++ b/test/files/pos/t3672.scala @@ -0,0 +1,4 @@ +object Test { + def foo(f: Int => Int) = () ; foo { implicit x : Int => x + 1 } + def bar(f: Int => Int) = () ; foo { x : Int => x + 1 } +} diff --git a/test/files/pos/t3833.scala b/test/files/pos/t3833.scala new file mode 100644 index 0000000000..c49e9339ca --- /dev/null +++ b/test/files/pos/t3833.scala @@ -0,0 +1,26 @@ +object Main { + def mkArray[T <: A](atype: Int) :T#AType = { + (atype match { + case 1 => + new Array[Int](10) + // Decompiled code: return (Object[])new int[10]; + case 2 => + new Array[Float](10) + }).asInstanceOf[T#AType] + } + + def main(args: Array[String]) { + println(mkArray[I](1)) + //java.lang.ClassCastException: [I cannot be cast to [Ljava.lang.Object; + } +} + +trait A { + type AType <: AnyRef +} +trait I extends A { + type AType = Array[Int] +} +trait F extends A { + type AType = Array[Float] +} diff --git a/test/files/pos/t3837.scala b/test/files/pos/t3837.scala new file mode 100644 index 0000000000..bcaf63cc8d --- /dev/null +++ b/test/files/pos/t3837.scala @@ -0,0 +1,10 @@ +class BipClass { } +trait BipTrait { + self: BipClass => + + private[this] def foo() = 5 + def bar() = this.foo() +} +// error: value foo is not a member of BipTrait with BipClass +// def bar() = this.foo() +// ^ diff --git a/test/files/pos/t3856.scala b/test/files/pos/t3856.scala new file mode 100644 index 0000000000..71c7bdc99d --- /dev/null +++ b/test/files/pos/t3856.scala @@ -0,0 +1,8 @@ +case class C[T](x: T) + +case class CS(xs: C[_]*) + +object Test { + val x = CS(C(5), C("abc")) match { case CS(C(5), xs @ _*) => xs } + println(x) +} |