Adapt tests

Author: odersky

tests/run/OrType.scala renamed to tests/neg/OrType.scala

@@ -2,7 +2,7 @@ class B(val x: Int)
 class C(val x: Double)
 
 object Test{
-  def bar(x: B | C): Int | Double = x.x
+  def bar(x: B | C): Int | Double = x.x  // error
   def main(args: Array[String]): Unit = {
     val b = new B(1)
     val c = new C(1)

tests/pickling/unions.scala renamed to tests/neg/unions.scala

@@ -16,11 +16,10 @@ object unions {
 
   val x: A | B = if (true) new A else new B
   def y: B | A = if (true) new A else new B
-  println(x.f)
-  println(x.g(2))
-  println(y.f)
-  println(y.g(1.0))
-  println(y.g(1.0f))
+  println(x.f)  // error
+  println(x.g(2)) // error
+  println(y.f) // error
+  println(y.g(1.0)) // error
 
   class C {
     private def foo = 0

tests/pos/i1045.scala

@@ -1,7 +1,24 @@
 import scala.collection._
+
+object EmptyHashMap extends mutable.HashMap[Nothing, Nothing]
 object T {
   val newSymbolMap: mutable.HashMap[String, mutable.HashMap[Int, Double]] = mutable.HashMap.empty
   val map = newSymbolMap.getOrElse("a", mutable.HashMap.empty)
   map.put(1, 0.0)
   newSymbolMap.put("a", map)
+
+   /** A map storing free variables of functions and classes */
+//  type SymSet = Set[Symbol]
+//  private val free = new collection.mutable.LinkedHashMap[Symbol, SymSet]
+//  def freeVars(sym: Symbol): List[Symbol] = free.getOrElse(sym, Nil).toList
+
+  class Tree[X >: Null] { def tpe: X = null }
+  class Ident[X >: Null] extends Tree[X]
+  class Apply[X >: Null] extends Tree[X]
+
+  val x: Ident[Symbol] | Apply[Symbol] = ???
+  val y = x.tpe
+  val z: Symbol = y
+
+
 }

tests/pos/union.scala

@@ -0,0 +1,11 @@
+object Test {
+
+  class A
+  class B extends A
+  class C extends A
+  class D extends A
+
+  val b = true
+  val x = if (b) new B else new C
+  val y: B | C = x
+}

tests/pos/unions.scala

@@ -23,7 +23,8 @@ object Test extends dotty.runtime.LegacyApp {
   testAll(false, true)
   testAll(1, 2);
   testAll(1.0, 2.0);
-  testAll(None, Some(1));
+ //  testAll(Some(1), Some(2))  // does not work in nsc or dotty
+ //  testAll(None, Some(1));     // does not work in dotty with or-types
   testAll[Iterable[Int]](List(1), List(1, 2));
   testAll[Iterable[Int]](List(1, 2), List(2));
   testAll((1, "bar"), (1, "foo"))

tests/run/OrderingTest.scala

@@ -2,10 +2,14 @@ object Test {
   def f1 = List(Iterator(Some(1), None, Some(2)), Iterator(Some(3), None))
   def f2 = Iterator(List(Some(1), None, Some(2)), List(Some(3), None), Nil)
   def f3 = List(Some(Iterator(1)), None, Some(Iterator(2, 3)))
+  def f4 = List(Some(Iterator(1)), Some(Iterator(2, 3)))
+  def f5 = Iterator(List(Some(1), Some(2)), List(Some(3)), Nil)
 
   def main(args: Array[String]): Unit = {
     assert(f1.flatten.flatten.toList == List(1, 2, 3))
+    assert(f5.flatten.flatten.toList == List(1, 2, 3))
     assert(f2.flatten.flatten.toList == List(1, 2, 3))
     assert(f3.flatten.flatten.toList == List(1, 2, 3))
+    assert(f4.flatten.flatten.toList == List(1, 2, 3))
   }
 }