aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2015-06-07 16:46:44 +0200
committerMartin Odersky <odersky@gmail.com>2015-06-07 16:46:44 +0200
commit94821afbdc8f6adbbad992972a89cc843b3e27a8 (patch)
tree5cc6f9b3c5864fb0bc6e2fcda950275592100aed /tests/pos
parentce1780fbcbafd7be298f930a611743386aa0d6a6 (diff)
downloaddotty-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.scala9
-rw-r--r--tests/pos/t1237.scala14
-rw-r--r--tests/pos/t2669.scala29
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
+}