diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-07 16:46:44 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-07 16:46:44 +0200 |
commit | 94821afbdc8f6adbbad992972a89cc843b3e27a8 (patch) | |
tree | 5cc6f9b3c5864fb0bc6e2fcda950275592100aed /tests/pos | |
parent | ce1780fbcbafd7be298f930a611743386aa0d6a6 (diff) | |
download | dotty-94821afbdc8f6adbbad992972a89cc843b3e27a8.tar.gz dotty-94821afbdc8f6adbbad992972a89cc843b3e27a8.tar.bz2 dotty-94821afbdc8f6adbbad992972a89cc843b3e27a8.zip |
Bring back tests from disabled.
The tests in this commit pos were verified to work again.
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/simplesams.scala | 9 | ||||
-rw-r--r-- | tests/pos/t1237.scala | 14 | ||||
-rw-r--r-- | tests/pos/t2669.scala | 29 |
3 files changed, 52 insertions, 0 deletions
diff --git a/tests/pos/simplesams.scala b/tests/pos/simplesams.scala new file mode 100644 index 000000000..14a7ba6c0 --- /dev/null +++ b/tests/pos/simplesams.scala @@ -0,0 +1,9 @@ +package test + +trait X { def foo(x: Int): Int; def bar = foo(2) } +trait XX extends X + +object test { + val x: X = (x: Int) => 2 // should be a closure + val xx: XX = (x: Int) => 2 // should be a closure, but blows up in backend +} diff --git a/tests/pos/t1237.scala b/tests/pos/t1237.scala new file mode 100644 index 000000000..31ba2966a --- /dev/null +++ b/tests/pos/t1237.scala @@ -0,0 +1,14 @@ +class HelloWorld { + def main(args: Array[String]): Unit = { + + object TypeBool; + + trait Fct { + def g(x : Int) = TypeBool // breaks. + + // def g(x : Int) = 3 // fine. + } + + () + } +} diff --git a/tests/pos/t2669.scala b/tests/pos/t2669.scala new file mode 100644 index 000000000..609e88786 --- /dev/null +++ b/tests/pos/t2669.scala @@ -0,0 +1,29 @@ +// #2629, #2639, #2669 +// dies in classfile parser while parsing java.util.Vector(requested by bakend) +object Test2669 { + + def test[T](l: java.util.ArrayList[_ <: T]) = 1 + test(new java.util.ArrayList[String]()) + +} + +import java.util.ArrayList + +object Test2629 { + def main(args: Array[String]): Unit = { + val l = new ArrayList[String](1) + val m = new ArrayList(l) + + println(l.size) + println(m.size) + } +} + + +import java.util.Vector + +// scalac cannot detect lack of type params, but then throws AssertionError later: +class TVector2639 { + val b = new Vector // this line passed without error detected + val a = new Vector(1) // this line caused throwing AssertionError when scalac +} |