diff options
Diffstat (limited to 'tests/untried')
163 files changed, 2 insertions, 1939 deletions
diff --git a/tests/untried/pos/t0002.scala b/tests/untried/pos/t0002.scala deleted file mode 100644 index 4c58ed3f4..000000000 --- a/tests/untried/pos/t0002.scala +++ /dev/null @@ -1,6 +0,0 @@ -object main { - def main(args: Array[String]) = { - val b = true; - while (b == true) { } - } -} diff --git a/tests/untried/pos/t0017.scala b/tests/untried/pos/t0017.scala deleted file mode 100644 index d2bcda08d..000000000 --- a/tests/untried/pos/t0017.scala +++ /dev/null @@ -1,21 +0,0 @@ -class Quantity { - def getValue = 0; - def connect(c: Constraint) = c.newValue; -} - -abstract class Constraint(q: Quantity) { - def newValue: Unit; - q connect this -} - -class Adder(q: Quantity) extends Constraint(q) { - def newValue = Console.println(q.getValue); -} - -object Main { - def main(args: Array[String]): Unit = { - val x = new Quantity; - new Adder(x); - () - } -} diff --git a/tests/untried/pos/t0020.scala b/tests/untried/pos/t0020.scala deleted file mode 100644 index 4f1e5b173..000000000 --- a/tests/untried/pos/t0020.scala +++ /dev/null @@ -1,8 +0,0 @@ -object Exceptions { - - class CubeException(s: String) extends RuntimeException(s); - - def main(args: Array[String]) = - Console.println(new CubeException("test")); - -} diff --git a/tests/untried/pos/t0029.scala b/tests/untried/pos/t0029.scala deleted file mode 100644 index 937b6d70c..000000000 --- a/tests/untried/pos/t0029.scala +++ /dev/null @@ -1,3 +0,0 @@ -object Main { - def f[a]: List[List[a]] = for (l1 <- Nil; l2 <- Nil) yield l1 -} diff --git a/tests/untried/pos/t0030.scala b/tests/untried/pos/t0030.scala deleted file mode 100644 index 2f23be14d..000000000 --- a/tests/untried/pos/t0030.scala +++ /dev/null @@ -1,9 +0,0 @@ -trait A { - def f(x: Int): Unit; - def f(x: String): Unit; -} - -class B extends A { - def f(x: Int): Unit = (); - def f(x: String): Unit = (); -} diff --git a/tests/untried/pos/t0031.scala b/tests/untried/pos/t0031.scala deleted file mode 100644 index d4050c818..000000000 --- a/tests/untried/pos/t0031.scala +++ /dev/null @@ -1,29 +0,0 @@ -object Main { - - trait Ensure[a] { - def ensure(postcondition: a => Boolean): a - } - - def require[a](precondition: => Boolean)(command: => a): Ensure[a] = - if (precondition) - new Ensure[a] { - def ensure(postcondition: a => Boolean): a = { - val result = command; - if (postcondition(result)) result - else sys.error("Assertion error") - } - } - else - sys.error("Assertion error"); - - def arb[a](s: List[a]) = - require (! s.isEmpty) { - s.head - } ensure (result => s contains result); - - def main(args: Array[String]) = { - val s = List(1, 2); - Console.println(arb(s)) - } - -} diff --git a/tests/untried/pos/t0032.scala b/tests/untried/pos/t0032.scala deleted file mode 100644 index 727a7d4e9..000000000 --- a/tests/untried/pos/t0032.scala +++ /dev/null @@ -1,17 +0,0 @@ -import java.io.{OutputStream, PrintStream}; - -class PromptStream(s: OutputStream) extends PrintStream(s) { - override def println() = super.println(); -} - -object Main { - - val out = new PromptStream(java.lang.System.out); - - java.lang.System.setOut(out); - - def main(args: Array[String]) = - //out.println("hello world"); - () - -} diff --git a/tests/untried/pos/t0036.scala b/tests/untried/pos/t0036.scala deleted file mode 100644 index 3c9a84f8a..000000000 --- a/tests/untried/pos/t0036.scala +++ /dev/null @@ -1,8 +0,0 @@ -object m { - - val xs: List[Int] = Nil - def f(i: Int) = 0 - val v = xs map f - - def m() = {} -} diff --git a/tests/untried/pos/t0039.scala b/tests/untried/pos/t0039.scala deleted file mode 100644 index 652c606b0..000000000 --- a/tests/untried/pos/t0039.scala +++ /dev/null @@ -1,6 +0,0 @@ -abstract class Extensible[A, This <: Extensible[A, This]](x: A, xs: This) { self: This => - def mkObj(x: A, xs: This): This; -} -class Fixed[A](x: A, xs: Fixed[A]) extends Extensible[A, Fixed[A]](x, xs) { - def mkObj(x: A, xs: Fixed[A]) = new Fixed(x, xs); -} diff --git a/tests/untried/pos/t0049.scala b/tests/untried/pos/t0049.scala deleted file mode 100644 index dd8664226..000000000 --- a/tests/untried/pos/t0049.scala +++ /dev/null @@ -1,3 +0,0 @@ -class C1(x: AnyRef) {}; - -class C2 extends C1({ class A extends AnyRef {}; (new A) : AnyRef }) {}; diff --git a/tests/untried/pos/t0053.scala b/tests/untried/pos/t0053.scala deleted file mode 100644 index 44763ef14..000000000 --- a/tests/untried/pos/t0053.scala +++ /dev/null @@ -1,7 +0,0 @@ -object bug { - def foobar[c]: Int = { - class Foo { def foo: Bar = new Bar(); } - class Bar { def bar: c = bar; } - 0 - } -} diff --git a/tests/untried/pos/t0054.scala b/tests/untried/pos/t0054.scala deleted file mode 100644 index 670160f36..000000000 --- a/tests/untried/pos/t0054.scala +++ /dev/null @@ -1,4 +0,0 @@ -class A { - case class B(x: C) extends A { val z: A.this.C = x } - class C {} -} diff --git a/tests/untried/pos/t0055.scala b/tests/untried/pos/t0055.scala deleted file mode 100644 index 079629440..000000000 --- a/tests/untried/pos/t0055.scala +++ /dev/null @@ -1,6 +0,0 @@ -class X(x : Any) -class W { - new X(new Z() with Y) {} - trait Y { def y = () } -} -class Z(r : Any) { def this() = this(null) } diff --git a/tests/untried/pos/t0061.scala b/tests/untried/pos/t0061.scala deleted file mode 100644 index dd3f94f30..000000000 --- a/tests/untried/pos/t0061.scala +++ /dev/null @@ -1,10 +0,0 @@ -object O { - - class testClass ; - - case class testA() extends testClass ; // works if you leave away "extends..." - // or if you write TestA - def ga( x:testClass ) = x match { - case testA() => () - } -} diff --git a/tests/untried/pos/t0064.scala b/tests/untried/pos/t0064.scala deleted file mode 100644 index 1eeca8dca..000000000 --- a/tests/untried/pos/t0064.scala +++ /dev/null @@ -1,6 +0,0 @@ -object B { - def main(Args:Array[String]) = { - val (_,x) = (1,2); - x + 1; - } -} diff --git a/tests/untried/pos/t0066.scala b/tests/untried/pos/t0066.scala deleted file mode 100644 index 2153264e7..000000000 --- a/tests/untried/pos/t0066.scala +++ /dev/null @@ -1,7 +0,0 @@ -class GBTree[A, B] /*with Map[A, B, GBTree[A,B]]*/ { - abstract class Tree[A,B]; - case class Node[A,B](key:A,value:B,smaller:Node[A,B],bigger:Node[A,B]) - extends Tree[A,B]; - case class Nil[A,B]() extends Tree[A,B]; - -} diff --git a/tests/untried/pos/t0068.scala b/tests/untried/pos/t0068.scala deleted file mode 100644 index beb2c7c0a..000000000 --- a/tests/untried/pos/t0068.scala +++ /dev/null @@ -1,6 +0,0 @@ -class E { - def f() = { - val (_::l1) = List(1,2,3); - l1.tail; - } -} diff --git a/tests/untried/pos/t0069.scala b/tests/untried/pos/t0069.scala deleted file mode 100644 index e4c242c0e..000000000 --- a/tests/untried/pos/t0069.scala +++ /dev/null @@ -1,10 +0,0 @@ -object testCQ { - // why does this not work directly - case class Thing( name:String, contains:List[ Thing ] ); - - /* ... but this one does? - abstract class T; - case class Thing2( name:String, contains:List[ T ] ) extends T; - */ - -} diff --git a/tests/untried/pos/t0076.scala b/tests/untried/pos/t0076.scala deleted file mode 100644 index 5419cf515..000000000 --- a/tests/untried/pos/t0076.scala +++ /dev/null @@ -1,9 +0,0 @@ -// This is extracted from a test file => don't add a new test file. -object bug { - def foo(i: => Int): Int = 0; - - def bar: Int = { - var i: Int = 0; - foo (i); - } -} diff --git a/tests/untried/pos/t0081.scala b/tests/untried/pos/t0081.scala deleted file mode 100644 index 20fd60497..000000000 --- a/tests/untried/pos/t0081.scala +++ /dev/null @@ -1,4 +0,0 @@ -class A { - val b: A#B = new B; - class B {} -} diff --git a/tests/untried/pos/t0082.scala b/tests/untried/pos/t0082.scala deleted file mode 100644 index 2b365ca33..000000000 --- a/tests/untried/pos/t0082.scala +++ /dev/null @@ -1,18 +0,0 @@ - -object Main { - - def min0[A](less: (A, A) => Boolean, xs: List[A]): Option[A] = xs match { - case List() => None - case List(x) => Some(x) -// case x :: Nil => Some(x) - case y :: ys => (min0(less, ys): @unchecked) match { - case Some(m) => if (less(y, m)) Some(y) else Some(m) - } - } - - def min(xs: List[Int]) = min0((x: Int, y: Int) => x < y, xs); - - def main(args: Array[String]) = - Console.println(min(List())); - -} diff --git a/tests/untried/pos/t0085.scala b/tests/untried/pos/t0085.scala deleted file mode 100644 index e018afb6e..000000000 --- a/tests/untried/pos/t0085.scala +++ /dev/null @@ -1,8 +0,0 @@ -object A { - case class B(c: C) { - class C; - } - class C; - val b: B = new B(new C()); - val c: C = b.c; -} diff --git a/tests/untried/pos/t0091.scala b/tests/untried/pos/t0091.scala deleted file mode 100644 index d491b7cfb..000000000 --- a/tests/untried/pos/t0091.scala +++ /dev/null @@ -1,6 +0,0 @@ -class Bug { - def main(args: Array[String]) = { - var msg: String = null; // no bug if "null" instead of "_" - val f: PartialFunction[Any, Unit] = { case 42 => msg = "coucou" }; - } -} diff --git a/tests/untried/pos/t0093.scala b/tests/untried/pos/t0093.scala deleted file mode 100644 index d648d773b..000000000 --- a/tests/untried/pos/t0093.scala +++ /dev/null @@ -1,4 +0,0 @@ -object Bug { - def f(cond: => Boolean) = while (cond == false) {}; - // no bug with "false == cond" -} diff --git a/tests/untried/pos/t0095.scala b/tests/untried/pos/t0095.scala deleted file mode 100644 index 71386cf5c..000000000 --- a/tests/untried/pos/t0095.scala +++ /dev/null @@ -1,15 +0,0 @@ -class ParseResult[+T] -case class Success[+T](t: T) extends ParseResult[T] - -abstract class Nonterminal[Output] { - - type SubNonterminal = Nonterminal[T] forSome { type T <: Output } - - def parse: ParseResult[Output] - - def parse1(nts: List[SubNonterminal]): ParseResult[Output] = - nts match { - case nt::nts => nt.parse match { case Success(so) => Success(so) } - case Nil => throw new Error - } -} diff --git a/tests/untried/pos/t1318.scala b/tests/untried/pos/t1318.scala deleted file mode 100644 index 34e2bc8dd..000000000 --- a/tests/untried/pos/t1318.scala +++ /dev/null @@ -1,31 +0,0 @@ -abstract class F { - type mType <: M -} - -abstract class M { self => - - type mType <: M - - type fType = F {type mType >: self.mType } - def fs: List[fType] -} - -abstract class A0 extends M { - type mType = A0 - def fs: List[fType] = Nil -} - -object A extends A0 {} - -abstract class B0 extends M { - type mType = B0 - def fs: List[fType] = Nil -} - -object B extends B0 {} - -object C { - def ab = List(A) ::: List(B) - // the following compiles successfully: - // def ab = List(A) ::: List[M](B) -} diff --git a/tests/untried/pos/t1357.scala b/tests/untried/pos/t1357.scala deleted file mode 100644 index 05f8d20ed..000000000 --- a/tests/untried/pos/t1357.scala +++ /dev/null @@ -1,21 +0,0 @@ -object NonEmptyCons { - def unapply[H, T](c: (H, T)): Option[(H, T)] = Some(c) -} - - -object Main { - - type BT[+H, +T <: Tuple2[Tuple2[H, T], Tuple2[H, T]]] = Tuple2[H, T] - - // type T = Tuple2[String,String] - type BinaryTree[+E] = BT[E, T forSome { type T <: Tuple2[BT[E, T], BT[E, T]] }] - - def foo[E](tree: BinaryTree[E]): Unit = tree match { - case NonEmptyCons(_, tail) => { - tail match { - case NonEmptyCons(_, _) => { - } - } - } - } -} diff --git a/tests/untried/pos/t1381-new.scala b/tests/untried/pos/t1381-new.scala deleted file mode 100644 index b0b300c6f..000000000 --- a/tests/untried/pos/t1381-new.scala +++ /dev/null @@ -1,31 +0,0 @@ -import scala.reflect.runtime.universe._ - -class D[V <: Variable] - -class ID[V<:IV] extends D[V] { - type E = V#ValueType - def index(value:E) : Int = 0 - // Comment this out to eliminate crash. Or see below - def index(values:E*) : Iterable[Int] = null -} - -abstract class Variable { - type VT <: Variable - def d : D[VT] = null -} - -abstract class PV[T](initval:T) extends Variable { - type VT <: PV[T] - type ValueType = T -} - -trait IV extends Variable { - type ValueType -} - -abstract class EV[T](initval:T) extends PV[T](initval) with IV { - type VT <: EV[T] - override def d : ID[VT] = null - // Comment this out to eliminate crash - protected var indx = d.index(initval) -} diff --git a/tests/untried/pos/t1381-old.scala b/tests/untried/pos/t1381-old.scala deleted file mode 100644 index 076289189..000000000 --- a/tests/untried/pos/t1381-old.scala +++ /dev/null @@ -1,31 +0,0 @@ -import scala.reflect.Manifest - -class D[V <: Variable] - -class ID[V<:IV] extends D[V] { - type E = V#ValueType - def index(value:E) : Int = 0 - // Comment this out to eliminate crash. Or see below - def index(values:E*) : Iterable[Int] = null -} - -abstract class Variable { - type VT <: Variable - def d : D[VT] = null -} - -abstract class PV[T](initval:T) extends Variable { - type VT <: PV[T] - type ValueType = T -} - -trait IV extends Variable { - type ValueType -} - -abstract class EV[T](initval:T) extends PV[T](initval) with IV { - type VT <: EV[T] - override def d : ID[VT] = null - // Comment this out to eliminate crash - protected var indx = d.index(initval) -} diff --git a/tests/untried/pos/t1385.scala b/tests/untried/pos/t1385.scala deleted file mode 100644 index aefd9c35b..000000000 --- a/tests/untried/pos/t1385.scala +++ /dev/null @@ -1,3 +0,0 @@ -object Test extends Serializable { - private def readResolve: AnyRef = this -} diff --git a/tests/untried/pos/t1391.scala b/tests/untried/pos/t1391.scala deleted file mode 100644 index 5178ba987..000000000 --- a/tests/untried/pos/t1391.scala +++ /dev/null @@ -1,43 +0,0 @@ -package sandbox - - class hierarOverload { - - /* - * Template structure - using abstract types. - */ - trait AB { - type TA <: A - type TB <: B - - protected trait A { - val entities : List[TB] - } - - protected trait B { - var group : TA - } - } - - /* - * Template instantiation in an object to ease use and globally define - abstract types - */ - object NAnB extends AB { - type TB = nB - type TA = nA - - class nA extends A { - val entities = List[nB]() - } - - class nB extends B { - var group = new nA - } - } - - def foo (): Unit = { - val t = new NAnB.nA - println(t) - } - - } diff --git a/tests/untried/pos/t1409/AbstractImpl.java b/tests/untried/pos/t1409/AbstractImpl.java deleted file mode 100644 index b22a94fa1..000000000 --- a/tests/untried/pos/t1409/AbstractImpl.java +++ /dev/null @@ -1,3 +0,0 @@ -public abstract class AbstractImpl implements OuterInterface { - public abstract InnerInterface create(); - } diff --git a/tests/untried/pos/t1409/ConcreteImpl.scala b/tests/untried/pos/t1409/ConcreteImpl.scala deleted file mode 100644 index d427e957e..000000000 --- a/tests/untried/pos/t1409/ConcreteImpl.scala +++ /dev/null @@ -1,3 +0,0 @@ -class ConcreteImpl extends AbstractImpl { - def create : OuterInterface.InnerInterface = null - } diff --git a/tests/untried/pos/t1409/OuterInterface.java b/tests/untried/pos/t1409/OuterInterface.java deleted file mode 100644 index dd288ceea..000000000 --- a/tests/untried/pos/t1409/OuterInterface.java +++ /dev/null @@ -1,5 +0,0 @@ -public interface OuterInterface { - public interface InnerInterface { - public void foo(); - } - } diff --git a/tests/untried/pos/t1422_pos.scala b/tests/untried/pos/t1422_pos.scala deleted file mode 100644 index 658f5c730..000000000 --- a/tests/untried/pos/t1422_pos.scala +++ /dev/null @@ -1,2 +0,0 @@ -case class A(private val foo:String) -case class B(protected[this] val foo:String) diff --git a/tests/untried/pos/t1438.scala b/tests/untried/pos/t1438.scala deleted file mode 100644 index 221c3439d..000000000 --- a/tests/untried/pos/t1438.scala +++ /dev/null @@ -1,10 +0,0 @@ -class C[A] { - type CC[B] <: C[B] - def aio[T]: T = aio[T] -} -class D[A] extends C[A] { - protected def nv[B](elems: Iterator[B]): CC[B] = { - val x = new D[B] - x.aio[CC[B]] - } -} diff --git a/tests/untried/pos/t1439.flags b/tests/untried/pos/t1439.flags deleted file mode 100644 index bca57e478..000000000 --- a/tests/untried/pos/t1439.flags +++ /dev/null @@ -1 +0,0 @@ --unchecked -Xfatal-warnings -language:higherKinds diff --git a/tests/untried/pos/t1439.scala b/tests/untried/pos/t1439.scala deleted file mode 100644 index 0efcc74b6..000000000 --- a/tests/untried/pos/t1439.scala +++ /dev/null @@ -1,8 +0,0 @@ -// no unchecked warnings -class View[C[A]] { } - -object Test { - (null: Any) match { - case v: View[_] => - } -} diff --git a/tests/untried/pos/t1459/AbstractBase.java b/tests/untried/pos/t1459/AbstractBase.java deleted file mode 100755 index 492419416..000000000 --- a/tests/untried/pos/t1459/AbstractBase.java +++ /dev/null @@ -1,5 +0,0 @@ -package base; - -public abstract class AbstractBase { - public abstract void doStuff(String... params); // !!! was Object.. -}
\ No newline at end of file diff --git a/tests/untried/pos/t1459/App.scala b/tests/untried/pos/t1459/App.scala deleted file mode 100755 index 36e5022e9..000000000 --- a/tests/untried/pos/t1459/App.scala +++ /dev/null @@ -1,18 +0,0 @@ -package foo -import base._ - -object App extends scala.App { - class Concrete extends AbstractBase { - override def doStuff(params:java.lang.String*): Unit = println("doStuff invoked") - } - - val impl = new Concrete - - //succeeds - impl.doStuff(null) - - val caller = new Caller - - // fails with AbstractMethodError - caller.callDoStuff(impl) -} diff --git a/tests/untried/pos/t1459/Caller.java b/tests/untried/pos/t1459/Caller.java deleted file mode 100755 index 4ae51d8c5..000000000 --- a/tests/untried/pos/t1459/Caller.java +++ /dev/null @@ -1,7 +0,0 @@ -package base; - -public class Caller { - public void callDoStuff(AbstractBase impl) { - impl.doStuff("abc"); // was new Object()); - } -}
\ No newline at end of file diff --git a/tests/untried/pos/t1480.scala b/tests/untried/pos/t1480.scala deleted file mode 100644 index 1d9f94d2e..000000000 --- a/tests/untried/pos/t1480.scala +++ /dev/null @@ -1,6 +0,0 @@ -class Foo{ - def compare(newP : Any, oldP : Any) : Boolean = (newP,oldP) match { - case (newP : AnyRef, oldP : AnyRef) if newP == oldP => newP == oldP - case (newS : Symbol, oldS: Symbol) if newS == oldS => newS == oldS - } -} diff --git a/tests/untried/pos/t151.scala b/tests/untried/pos/t151.scala deleted file mode 100644 index 86667b49f..000000000 --- a/tests/untried/pos/t151.scala +++ /dev/null @@ -1,6 +0,0 @@ -abstract class Foo { - type T; - def foo(a: T): Int = 0; - val foo: Foo = null; - def a: foo.T = a; -} diff --git a/tests/untried/pos/t1560.scala b/tests/untried/pos/t1560.scala deleted file mode 100644 index 2af299af8..000000000 --- a/tests/untried/pos/t1560.scala +++ /dev/null @@ -1,13 +0,0 @@ -object Test extends App { - - trait C[T] { - def t: T - } - - def b: Option[C[x] forSome { type x }] = null - - def c = b match { - case Some(b) => b.t - } - -} diff --git a/tests/untried/pos/t1565.scala b/tests/untried/pos/t1565.scala deleted file mode 100644 index df333151d..000000000 --- a/tests/untried/pos/t1565.scala +++ /dev/null @@ -1,18 +0,0 @@ -object Bug1565 { - object X0 { 0; (a : Int, b : Int, c : Int) => println(List(a, b)) } - def x() = { 0; (a : Int, b : Int) => println(List(a, b)) ; 0 } - - (a : Int, b : Int) => println(List(a, b)) - - // various function syntaxes to exercise the parser - val xs = List(1,2,3) - xs.filter(x => x < 2) - xs.filter((x) => x < 2) - xs.filter { x => x < 2 } - xs.filter { _ < 2 } - xs.filter (_ < 2) - xs.foreach { e => - val buf0 = e + 1 - buf0 - } -} diff --git a/tests/untried/pos/t1569.scala b/tests/untried/pos/t1569.scala deleted file mode 100644 index a7200a6d1..000000000 --- a/tests/untried/pos/t1569.scala +++ /dev/null @@ -1,5 +0,0 @@ -object Bug { - class C { type T } - def foo(x: Int)(y: C)(z: y.T): Unit = {} - foo(3)(new C { type T = String })("hello") -} diff --git a/tests/untried/pos/t159.scala b/tests/untried/pos/t159.scala deleted file mode 100644 index 4d67f8aff..000000000 --- a/tests/untried/pos/t159.scala +++ /dev/null @@ -1,22 +0,0 @@ -object foo { - // the problem seems to appear only - // if "val _" is in the body of a case - def cooked(ckd: StringBuilder): Unit = { - 'a' match { - case '-' => - val _ = ckd.append( '_' ); - case 'v' => - val _ = ckd.append( '_' ); - } - } -} - -object foo1 { - def f(): Unit = { - 1 match { - case 2 => val _ = 1; - case 3 => val _ = 2; - case 4 => val _ = 2; - } - } -} diff --git a/tests/untried/pos/t1591_pos.scala b/tests/untried/pos/t1591_pos.scala deleted file mode 100644 index 4f55d7ce1..000000000 --- a/tests/untried/pos/t1591_pos.scala +++ /dev/null @@ -1,7 +0,0 @@ -trait A - -object Test { - lazy val a = new A { - object Zenek - } -} diff --git a/tests/untried/pos/t1591b.scala b/tests/untried/pos/t1591b.scala deleted file mode 100644 index c671ad647..000000000 --- a/tests/untried/pos/t1591b.scala +++ /dev/null @@ -1,13 +0,0 @@ -import scala.tools.nsc._ - -class SemanticTokens(val compiler: Global) { - import compiler._ - - def build() = ErrorType - - class Process { - def f() = analyzer - // or to crash the compiler instead of a nice message, - // def f() = analyzer underlying _ - } -} diff --git a/tests/untried/pos/t160.scala b/tests/untried/pos/t160.scala deleted file mode 100644 index 91ac2ba84..000000000 --- a/tests/untried/pos/t160.scala +++ /dev/null @@ -1,3 +0,0 @@ -class Foo(s:String) { - def this() = { this("DEFAULT") } -} diff --git a/tests/untried/pos/t1614/bar.scala b/tests/untried/pos/t1614/bar.scala index be994c3af..0b69a8462 100644 --- a/tests/untried/pos/t1614/bar.scala +++ b/tests/untried/pos/t1614/bar.scala @@ -1,4 +1,4 @@ // bar.scala object Bar { - val a = new FooImpl with AbstractOverrideFoo + val a = new FooImpl with AbstractOverrideFoo } diff --git a/tests/untried/pos/t1614/foo.scala b/tests/untried/pos/t1614/foo.scala index 5db548ac7..de225b9e5 100644 --- a/tests/untried/pos/t1614/foo.scala +++ b/tests/untried/pos/t1614/foo.scala @@ -1,6 +1,6 @@ // foo.scala trait Foo { - def foo(arg: List[_]) + def foo(arg: List[_]) } trait FooImpl extends Foo { def foo(arg: List[_]): Unit = {} diff --git a/tests/untried/pos/t1642/JavaCallingScalaHashMap.java b/tests/untried/pos/t1642/JavaCallingScalaHashMap.java deleted file mode 100644 index 976e465ff..000000000 --- a/tests/untried/pos/t1642/JavaCallingScalaHashMap.java +++ /dev/null @@ -1,8 +0,0 @@ -import scala.collection.immutable.HashMap; -import scala.collection.immutable.Map; - -public class JavaCallingScalaHashMap { - public static void main( String[] args ) { - Map<String, Integer> hashMap = new HashMap<String, Integer>(); - } -} diff --git a/tests/untried/pos/t1642b.scala b/tests/untried/pos/t1642b.scala deleted file mode 100644 index 72e53b0c9..000000000 --- a/tests/untried/pos/t1642b.scala +++ /dev/null @@ -1,6 +0,0 @@ -package x -abstract class H[A] { - type P <: R[P] - def a: P -} -class R[F] diff --git a/tests/untried/pos/t1659.scala b/tests/untried/pos/t1659.scala deleted file mode 100644 index 10470d66f..000000000 --- a/tests/untried/pos/t1659.scala +++ /dev/null @@ -1,4 +0,0 @@ -trait Y { type X } -trait W { def u[A](v : Y { type X = A }) : Unit } -class Z extends W { def u[A](v : Y { type X = A }) = null } - diff --git a/tests/untried/pos/t1675.scala b/tests/untried/pos/t1675.scala deleted file mode 100644 index 8630890ee..000000000 --- a/tests/untried/pos/t1675.scala +++ /dev/null @@ -1,11 +0,0 @@ -package a -object Foo extends pack.Bar { - for(i <- 0 to 10) { - test("") - } -} -package pack { - class Bar { - protected def test(s: String*): Unit = {} - } -} diff --git a/tests/untried/pos/t1693.scala b/tests/untried/pos/t1693.scala deleted file mode 100644 index 881bf89a0..000000000 --- a/tests/untried/pos/t1693.scala +++ /dev/null @@ -1,9 +0,0 @@ -object Test { - class Foo - class SomeOps(x : Foo) { def foo(x: String) = 1 } - class OtherOps(x : Foo) { def foo(x: Int) = 1 } - implicit def mkSomeOps(x: Foo) : SomeOps = new SomeOps(x) - implicit def mkOtherOps(x: Foo) : OtherOps = new OtherOps(x) - - (new Foo).foo(1) -} diff --git a/tests/untried/pos/t1711/Seq.scala b/tests/untried/pos/t1711/Seq.scala deleted file mode 100644 index c18f05cd7..000000000 --- a/tests/untried/pos/t1711/Seq.scala +++ /dev/null @@ -1,12 +0,0 @@ -package com - -object Sequence { - - def filteringFunction[V](filter: V => Boolean): List[V] => List[V] = { - def include(v: V) = - filter(v) - (l: List[V]) => l.filter(include) - } - -} - diff --git a/tests/untried/pos/t1711/Test.java b/tests/untried/pos/t1711/Test.java deleted file mode 100644 index 5ec0f2297..000000000 --- a/tests/untried/pos/t1711/Test.java +++ /dev/null @@ -1,6 +0,0 @@ -import com.Sequence; - -public class Test { - void foo() { - } -} diff --git a/tests/untried/pos/t1722-A.scala b/tests/untried/pos/t1722-A.scala deleted file mode 100644 index d059bf22f..000000000 --- a/tests/untried/pos/t1722-A.scala +++ /dev/null @@ -1,10 +0,0 @@ -sealed trait Top -trait C { - private object P extends Top -} -/* -$ scala -e 'new AnyRef with C' -error: error while loading Top, class file '/private/tmp/bobobo/./Top.class' is broken -(error reading Scala signature of /private/tmp/bobobo/./Top.class: malformed Scala signature of Top at 185; reference value P of trait C refers to nonexisting symbol.) -one error found -*/ diff --git a/tests/untried/pos/t1722/Test.scala b/tests/untried/pos/t1722/Test.scala deleted file mode 100755 index f236d3fdc..000000000 --- a/tests/untried/pos/t1722/Test.scala +++ /dev/null @@ -1,5 +0,0 @@ -package t1722 - -object Test { - val x = new AnyRef with C -} diff --git a/tests/untried/pos/t1722/Top.scala b/tests/untried/pos/t1722/Top.scala deleted file mode 100755 index 4ac52412a..000000000 --- a/tests/untried/pos/t1722/Top.scala +++ /dev/null @@ -1,13 +0,0 @@ -package t1722 - -sealed trait Top -trait C { - private object P extends Top -} -/* -$ scala -e 'new AnyRef with C' -error: error while loading Top, class file '/private/tmp/bobobo/./Top.class' is broken -(error reading Scala signature of /private/tmp/bobobo/./Top.class: malformed Scala signature of Top at 185; reference value P of trait C refers to nonexisting symbol.) -one error found -Martin: I think this has to do with children property. -*/ diff --git a/tests/untried/pos/t1745/J.java b/tests/untried/pos/t1745/J.java deleted file mode 100644 index 8444eabb2..000000000 --- a/tests/untried/pos/t1745/J.java +++ /dev/null @@ -1,10 +0,0 @@ -class J { - S1 s1; - S2 s2; - - String s = bar(S3.foo(), S3.bar("def")); - - private String bar(String s1, String s2) { - return s1 + s2; - } -} diff --git a/tests/untried/pos/t1745/S.scala b/tests/untried/pos/t1745/S.scala deleted file mode 100644 index 84c437133..000000000 --- a/tests/untried/pos/t1745/S.scala +++ /dev/null @@ -1,7 +0,0 @@ -case class S1(n: Int) { } -case class S2(n: Int, p: Int) { } -class S3 { } -object S3 { - def foo() = "abc" - def bar[T](x: T): T = x -} diff --git a/tests/untried/pos/t175.scala b/tests/untried/pos/t175.scala deleted file mode 100644 index 4c0eb28ba..000000000 --- a/tests/untried/pos/t175.scala +++ /dev/null @@ -1,3 +0,0 @@ -abstract class C { - def this(x: Unit) = { this() } -} diff --git a/tests/untried/pos/t1751/A1_2.scala b/tests/untried/pos/t1751/A1_2.scala deleted file mode 100644 index 354d5eecd..000000000 --- a/tests/untried/pos/t1751/A1_2.scala +++ /dev/null @@ -1,2 +0,0 @@ -@SuiteClasses(Array(classOf[A2])) -class A1 diff --git a/tests/untried/pos/t1751/A2_1.scala b/tests/untried/pos/t1751/A2_1.scala deleted file mode 100644 index c768062e4..000000000 --- a/tests/untried/pos/t1751/A2_1.scala +++ /dev/null @@ -1,2 +0,0 @@ -@SuiteClasses(Array()) -class A2 diff --git a/tests/untried/pos/t1751/SuiteClasses.java b/tests/untried/pos/t1751/SuiteClasses.java deleted file mode 100644 index a415e4f57..000000000 --- a/tests/untried/pos/t1751/SuiteClasses.java +++ /dev/null @@ -1,3 +0,0 @@ -public @interface SuiteClasses { - public Class<?>[] value(); -} diff --git a/tests/untried/pos/t1756.scala b/tests/untried/pos/t1756.scala deleted file mode 100755 index 1d067c3b0..000000000 --- a/tests/untried/pos/t1756.scala +++ /dev/null @@ -1,54 +0,0 @@ - -/** -This is a tricky issue which has to do with the fact that too much conflicting -type information is propagated into a single implicit search, where the intended -solution applies two implicit searches. - -Roughly, in x + x * y, the first x is first typed as Poly[A]. That -means the x * y is then typed as Poly[A]. Then the second x is typed -as Poly[A], then y is typed as Poly[Poly[A]]. The application x * y -fails, so the coef2poly implicit conversion is applied to x. That -means we look for an implicit conversion from type Poly[A] to type -?{val *(x$1: ?>: Poly[Poly[A]] <: Any): Poly[A]}. Note that the result -type Poly[A] is propagated into the implicit search. Poly[A] comes as -expected type from x+, because the lhs x is still typed as a Poly[A]. -This means that the argument of the implicit conversion is typechecked -with expected type A with Poly[A]. And no solution is found. - -To solve this, I added a fallback scheme similar to implicit arguments: -When an implicit view that adds a method matching given arguments and result -type fails, try again without the result type. -*/ -trait Ring[T <: Ring[T]] { - def +(that: T): T - def *(that: T): T -} - -class A extends Ring[A] { - def +(that: A) = new A - def *(that: A) = new A -} - -class Poly[C <: Ring[C]](val c: C) extends Ring[Poly[C]] { - def +(that: Poly[C]) = new Poly(this.c+that.c) - def *(that: Poly[C]) = new Poly(this.c*that.c) -} - -object Test extends App { - - implicit def coef2poly[C <: Ring[C]](c: C): Poly[C] = new Poly(c) - - val a = new A - val x = new Poly(new A) - - println(x+a) // works - println(a+x) // works - - val y = new Poly(new Poly(new A)) - - println(x+y*x) // works - println(x*y+x) // works - println(y*x+x) // works - - println(x+x*y) // failed before -} diff --git a/tests/untried/pos/t177.scala b/tests/untried/pos/t177.scala deleted file mode 100644 index 33b4de926..000000000 --- a/tests/untried/pos/t177.scala +++ /dev/null @@ -1,8 +0,0 @@ -class A { - def foo = { - object Y { - def bar = 1; - } - Y.bar - } -} diff --git a/tests/untried/pos/t1782/Ann.java b/tests/untried/pos/t1782/Ann.java deleted file mode 100644 index 0dcfbd2ed..000000000 --- a/tests/untried/pos/t1782/Ann.java +++ /dev/null @@ -1,3 +0,0 @@ -public @interface Ann { - public Days value(); -} diff --git a/tests/untried/pos/t1782/Days.java b/tests/untried/pos/t1782/Days.java deleted file mode 100644 index 203a87b1c..000000000 --- a/tests/untried/pos/t1782/Days.java +++ /dev/null @@ -1,3 +0,0 @@ -public enum Days { - Friday, Sunday -} diff --git a/tests/untried/pos/t1782/ImplementedBy.java b/tests/untried/pos/t1782/ImplementedBy.java deleted file mode 100644 index 6aa8b4fa9..000000000 --- a/tests/untried/pos/t1782/ImplementedBy.java +++ /dev/null @@ -1,3 +0,0 @@ -public @interface ImplementedBy { - public Class<?> value(); -} diff --git a/tests/untried/pos/t1782/Test_1.scala b/tests/untried/pos/t1782/Test_1.scala deleted file mode 100644 index 6467a74c2..000000000 --- a/tests/untried/pos/t1782/Test_1.scala +++ /dev/null @@ -1,16 +0,0 @@ -@ImplementedBy(classOf[Provider]) -trait Service { - def someMethod() -} - -class Provider - extends Service -{ - // test enumeration java annotations - @Ann(Days.Friday) def someMethod() = () - - // #2103 - @scala.beans.BeanProperty - @Ann(value = Days.Sunday) - val t2103 = "test" -} diff --git a/tests/untried/pos/t1785.scala b/tests/untried/pos/t1785.scala deleted file mode 100644 index 0b1fafb27..000000000 --- a/tests/untried/pos/t1785.scala +++ /dev/null @@ -1,7 +0,0 @@ -class t1785 { - def apply[T](x: Int) = 1 -} - -object test { - (new t1785)[Int](1) -} diff --git a/tests/untried/pos/t1786-counter.scala b/tests/untried/pos/t1786-counter.scala deleted file mode 100644 index a2431343d..000000000 --- a/tests/untried/pos/t1786-counter.scala +++ /dev/null @@ -1,38 +0,0 @@ -trait ShapeLevel - -object Fail { - abstract class ProductNodeShape[Level <: ShapeLevel, C, M <: C, U <: C, P <: C] extends Shape[Level, M, U, P] { - def copy(shapes: Seq[Shape[_, _, _, _]]): Shape[Level, _, _, _] - } - - abstract class Shape[Level <: ShapeLevel, -Mixed_, Unpacked_, Packed_] - - final class TupleShape[Level <: ShapeLevel, M <: Product, U <: Product, P <: Product](val shapes: Shape[_, _, _, _]*) extends ProductNodeShape[Level, Product, M, U, P] { - def copy(shapes: Seq[Shape[_, _, _, _]]): Shape[Level, _, _, _] = ??? - } - - trait ShapeLevel -} - -object Ok { - abstract class Shape[Level <: ShapeLevel, -Mixed_, Unpacked_, Packed_] - - abstract class ProductNodeShape[Level <: ShapeLevel, C, M <: C, U <: C, P <: C] extends Shape[Level, M, U, P] { - def copy(shapes: Seq[Shape[_, _, _, _]]): Shape[Level, _, _, _] - } - - final class TupleShape[Level <: ShapeLevel, M <: Product, U <: Product, P <: Product](val shapes: Shape[_, _, _, _]*) extends ProductNodeShape[Level, Product, M, U, P] { - def copy(shapes: Seq[Shape[_, _, _, _]]): Shape[Level, _, _, _] = ??? - } -} - -// This is why we reverted the fix for SI-1786 -- see SI-6169 for a potential alternative that could be extended to cover this. -// both objects type check on 2.10.3, but only Ok was accepted by 2.11 after the original fix to SI-1786. -// Fail results in: -/* -t1786-counter.scala:10: error: class TupleShape needs to be abstract, since method copy in class ProductNodeShape of type (shapes: Seq[Fail.Shape[_, _, _, _]])Fail.Shape[Level, _, _, _] is not defined -(Note that Seq[Fail.Shape[_, _, _, _]] does not match Seq[Fail.Shape[_ <: Fail.ShapeLevel, _, _, _]]: their type parameters differ) - final class TupleShape[Level <: ShapeLevel, M <: Product, U <: Product, P <: Product](val shapes: Shape[_, _, _, _]*) extends ProductNodeShape[Level, Product, M, U, P] { - ^ -one error found -*/ diff --git a/tests/untried/pos/t1786-cycle.scala b/tests/untried/pos/t1786-cycle.scala deleted file mode 100644 index 9de149fbc..000000000 --- a/tests/untried/pos/t1786-cycle.scala +++ /dev/null @@ -1,57 +0,0 @@ -trait GenTraversableLike[+A, +Repr] extends Any - -object O { - (null: Any) match { - case _: LongTraversableLike[_] => - } -} - -trait LongTraversable extends LongTraversableLike[LongTraversable] - -trait LongTraversableLike[+Repr <: LongTraversableLike[Repr]] extends GenTraversableLike[Any, Repr] - -/* -% scalac-hash v2.11.0-M8 test/files/pos/t1786-cycle.scala -[warn] v2.11.0-M8 failed, using closest available -test/files/pos/t1786-cycle.scala:11: error: illegal cyclic reference involving trait LongTraversableLike -trait LongTraversableLike[+Repr <: LongTraversableLike[Repr]] extends GenTraversableLike[Any, Repr] - ^ -one error found - -Okay again after SI-1786 was reverted. - - -|-- object O BYVALmode-EXPRmode (site: package <empty>) -| |-- super EXPRmode-POLYmode-QUALmode (silent: <init> in O) -| | |-- this EXPRmode (silent: <init> in O) -| | | \-> O.type -| | \-> O.type -| |-- (null: Any) match { case (_: LongTraversableLike[(_ @ <em... BYVALmode-EXPRmode (site: value <local O> in O) -| | |-- (null: Any) BYVALmode-EXPRmode (site: value <local O> in O) -| | | |-- Any TYPEmode (site: value <local O> in O) -| | | | \-> Any -| | | |-- null : pt=Any EXPRmode (site: value <local O> in O) -| | | | \-> Null(null) -| | | \-> Any -| | |-- (_: LongTraversableLike[(_ @ <empty>)]) : pt=Any PATTERNmode (site: value <local O> in O) enrichment only -| | | |-- LongTraversableLike[(_ @ <empty>)] TYPEPATmode-TYPEmode (site: value <local O> in O) enrichment only -| | | | |-- <: LongTraversableLike[Repr] TYPEmode (site: type Repr in <empty>) -| | | | | |-- LongTraversableLike[Repr] TYPEmode (site: type Repr in <empty>) -| | | | | | |-- Repr NOmode (site: type Repr in <empty>) -| | | | | | | \-> Repr -| | | | | | \-> LongTraversableLike[Repr] -| | | | | [adapt] <: LongTraversableLike[Repr] is now a TypeTree( <: LongTraversableLike[Repr]) -| | | | | \-> <: LongTraversableLike[Repr] -| | | | |-- (_ @ <empty>) TYPEPATmode-TYPEmode (site: value <local O> in O) enrichment only -| | | | | \-> _ -| | | | |-- GenTraversableLike FUNmode-TYPEmode (site: trait LongTraversableLike) -| | | | | \-> GenTraversableLike -| | | | |-- GenTraversableLike[Any, Repr] TYPEmode (site: trait LongTraversableLike) -| | | | | |-- Any TYPEmode (site: trait LongTraversableLike) -| | | | | | \-> Any -| | | | | |-- Repr TYPEmode (site: trait LongTraversableLike) -| | | | | | \-> Repr -| | | | | caught scala.reflect.internal.Symbols$CyclicReference: illegal cyclic reference involving trait LongTraversableLike: while typing GenTraversableLike[Any, Repr] -test/files/pos/t1786-cycle.scala:11: error: illegal cyclic reference involving trait LongTraversableLike -trait LongTraversableLike[+Repr <: LongTraversableLike[Repr]] extends GenT -*/ diff --git a/tests/untried/pos/t1789.scala b/tests/untried/pos/t1789.scala deleted file mode 100644 index 1a37d48d0..000000000 --- a/tests/untried/pos/t1789.scala +++ /dev/null @@ -1,5 +0,0 @@ -object S { - try { } - catch { case _ => } - finally { while(true) { } } -} diff --git a/tests/untried/pos/t1798.scala b/tests/untried/pos/t1798.scala deleted file mode 100644 index 1624e3025..000000000 --- a/tests/untried/pos/t1798.scala +++ /dev/null @@ -1,10 +0,0 @@ -object Foo { private def bar(): Int = 55 } -class Foo(x: Int) { def this() = this(Foo.bar()) } - -/* - * scalac28 a.scala -a.scala:2: error: method bar cannot be accessed in object Foo -class Foo(x: Int) { def this() = this(Foo.bar()) } - ^ -one error found -*/ diff --git a/tests/untried/pos/t1803.flags b/tests/untried/pos/t1803.flags deleted file mode 100644 index d1a824416..000000000 --- a/tests/untried/pos/t1803.flags +++ /dev/null @@ -1 +0,0 @@ --Yinfer-argument-types
\ No newline at end of file diff --git a/tests/untried/pos/t1803.scala b/tests/untried/pos/t1803.scala deleted file mode 100644 index 42f4e784a..000000000 --- a/tests/untried/pos/t1803.scala +++ /dev/null @@ -1,2 +0,0 @@ -class A { def foo[A](a: A) = a } -class B extends A { override def foo[A](b) = b } diff --git a/tests/untried/pos/t183.scala b/tests/untried/pos/t183.scala deleted file mode 100644 index d7ed27f73..000000000 --- a/tests/untried/pos/t183.scala +++ /dev/null @@ -1,4 +0,0 @@ -object Test { - new Foo(0); - class Foo(x: Int); -} diff --git a/tests/untried/pos/t1832.scala b/tests/untried/pos/t1832.scala deleted file mode 100644 index 3a5280640..000000000 --- a/tests/untried/pos/t1832.scala +++ /dev/null @@ -1,8 +0,0 @@ -trait Cloning { - trait Foo - def fn(g: Any => Unit): Foo - - implicit def mkStar(i: Int): AnyRef{def *(a: Cloning.this.Foo): Cloning.this.Foo} = new { def *(a: Foo): Foo = null } - - val pool = 4 * fn { case ghostSYMBOL: Int => ghostSYMBOL * 2 } -} diff --git a/tests/untried/pos/t1836/J.java b/tests/untried/pos/t1836/J.java deleted file mode 100644 index a009a59e2..000000000 --- a/tests/untried/pos/t1836/J.java +++ /dev/null @@ -1 +0,0 @@ -public abstract class J<T> { protected J(T id) { } } diff --git a/tests/untried/pos/t1836/S.scala b/tests/untried/pos/t1836/S.scala deleted file mode 100644 index 88ce1063e..000000000 --- a/tests/untried/pos/t1836/S.scala +++ /dev/null @@ -1 +0,0 @@ -class S extends J("") diff --git a/tests/untried/pos/t1840/J.java b/tests/untried/pos/t1840/J.java deleted file mode 100644 index fd98b6c4a..000000000 --- a/tests/untried/pos/t1840/J.java +++ /dev/null @@ -1,4 +0,0 @@ -package p; -class J { - J() {} -} diff --git a/tests/untried/pos/t1840/S.scala b/tests/untried/pos/t1840/S.scala deleted file mode 100644 index ff513d2c1..000000000 --- a/tests/untried/pos/t1840/S.scala +++ /dev/null @@ -1,2 +0,0 @@ -package p -class S { new J } diff --git a/tests/untried/pos/t1843.scala b/tests/untried/pos/t1843.scala deleted file mode 100644 index 8504bf342..000000000 --- a/tests/untried/pos/t1843.scala +++ /dev/null @@ -1,25 +0,0 @@ -/** -* Scala Compiler Will Crash On this File -* ... Or Will It? -* -*/ - -object Crash { - trait UpdateType[A] - case class StateUpdate[A](updateType : UpdateType[A], value : A) - case object IntegerUpdateType extends UpdateType[Integer] - - //However this method will cause a crash - def crash(updates: List[StateUpdate[_]]): Unit = { - updates match { - case Nil => - case u::us => - u match { - //Line below seems to be the crashing line - case StateUpdate(key, newValue) if (key == IntegerUpdateType) => - println("Requires a statement to induce the crash") - case _ => - } - } - } -} diff --git a/tests/untried/pos/t1858.scala b/tests/untried/pos/t1858.scala deleted file mode 100644 index c06e73e7e..000000000 --- a/tests/untried/pos/t1858.scala +++ /dev/null @@ -1,13 +0,0 @@ -import scala.collection.immutable.Stack - -object Test { - - def test = { - val s = new Stack[Int] - s.push(1) - s.push(1, 2) - s.push(1, 2, 3) - s.push(1, 2, 3, 4) - } - -} diff --git a/tests/untried/pos/t1896/D0.scala b/tests/untried/pos/t1896/D0.scala deleted file mode 100644 index 6b3150d96..000000000 --- a/tests/untried/pos/t1896/D0.scala +++ /dev/null @@ -1,11 +0,0 @@ -package p - -class X[T] - -trait A { - def m(s:X[_]): Unit = {} -} - -trait B extends A { - def f: Unit = { super.m(null) } -} diff --git a/tests/untried/pos/t1896/D1.scala b/tests/untried/pos/t1896/D1.scala deleted file mode 100644 index e1ab50679..000000000 --- a/tests/untried/pos/t1896/D1.scala +++ /dev/null @@ -1,2 +0,0 @@ -package p -class C extends B diff --git a/tests/untried/pos/t1937/NumberGenerator.java b/tests/untried/pos/t1937/NumberGenerator.java deleted file mode 100644 index 59d604733..000000000 --- a/tests/untried/pos/t1937/NumberGenerator.java +++ /dev/null @@ -1,7 +0,0 @@ -package br.com.caelum.caelumweb2.money; - -public class NumberGenerator { - public String generate() { - return null; - } -} diff --git a/tests/untried/pos/t1942/A_1.scala b/tests/untried/pos/t1942/A_1.scala deleted file mode 100644 index 4915b54a6..000000000 --- a/tests/untried/pos/t1942/A_1.scala +++ /dev/null @@ -1,11 +0,0 @@ -class A { - def foo(x: Int) = 0 - def foo(x: String) = 1 -} - -class ann(x: Int) extends annotation.StaticAnnotation - -class t { - val a = new A - @ann(a.foo(1)) def bar = 1 -} diff --git a/tests/untried/pos/t1942/Test_2.scala b/tests/untried/pos/t1942/Test_2.scala deleted file mode 100644 index 6c045bbce..000000000 --- a/tests/untried/pos/t1942/Test_2.scala +++ /dev/null @@ -1,3 +0,0 @@ -class Test { - println(new t) -} diff --git a/tests/untried/pos/t1957.scala b/tests/untried/pos/t1957.scala deleted file mode 100644 index 711ce17de..000000000 --- a/tests/untried/pos/t1957.scala +++ /dev/null @@ -1,38 +0,0 @@ -object Test { - abstract class Settings {} - - abstract class Grist - { self => - type settingsType <: Settings - type moduleType <: Module {type settingsType = self.settingsType} - val module: moduleType - } - - abstract class Tool - { self => - type settingsType <: Settings - type moduleType = Module { type settingsType = self.settingsType } - type gristType = Grist { type moduleType <: self.moduleType; type settingsType <: self.settingsType } - - def inputGrist: List[gristType] - } - - abstract class Module - { self => - type settingsType <: Settings - final type commonModuleType = Module {type settingsType = self.settingsType} - type selfType >: self.type <: commonModuleType - - // BTW: if we use the commented out type decls, the code compiles successfully - // type gristType = Grist {type settingsType <: self.settingsType; type moduleType <: commonModuleType } - - val tools: List[Tool {type settingsType = self.settingsType}] - - protected def f: List[commonModuleType] = - { - val inputGrists = tools.flatMap(_.inputGrist) // val inputGrists: List[gristType] = - inputGrists.map(_.module) - } - - } -} diff --git a/tests/untried/pos/t1974.scala b/tests/untried/pos/t1974.scala deleted file mode 100644 index 3f4d41e7f..000000000 --- a/tests/untried/pos/t1974.scala +++ /dev/null @@ -1,20 +0,0 @@ -object Broken { - private var map = Map[Class[_], String]() - - def addToMap(c : Class[_], s : String) = map += (c -> s) - def fetch(c : Class[_]) = map(c) -} - -object Works { - private var map = Map[Class[_], String]() - - def addToMap(c : Class[_], s : String) = map += ((c, s)) - def fetch(c : Class[_]) = map(c) -} - -object Works2 { - private var map = Map[Class[_], String]() - - def addToMap(c : Class[_], s : String) = map += ((c : Class[_]) -> s) - def fetch(c : Class[_]) = map(c) -} diff --git a/tests/untried/pos/t1987a.scala b/tests/untried/pos/t1987a.scala deleted file mode 100644 index ccab13371..000000000 --- a/tests/untried/pos/t1987a.scala +++ /dev/null @@ -1,8 +0,0 @@ -package object overloading { - def bar(f: (Int) => Unit): Unit = () - def bar(f: (Int, Int) => Unit): Unit = () -} - -class PackageObjectOverloadingTest { - overloading.bar( (i: Int) => () ) // doesn't compile. -} diff --git a/tests/untried/pos/t1987b/a.scala b/tests/untried/pos/t1987b/a.scala deleted file mode 100644 index ff27044b6..000000000 --- a/tests/untried/pos/t1987b/a.scala +++ /dev/null @@ -1,7 +0,0 @@ -package bug - -// goes with t1987b.scala -package object packageb { - def func(a: Int) = () - def func(a: String) = () -} diff --git a/tests/untried/pos/t1987b/b.scala b/tests/untried/pos/t1987b/b.scala deleted file mode 100644 index a469ca6ea..000000000 --- a/tests/untried/pos/t1987b/b.scala +++ /dev/null @@ -1,10 +0,0 @@ -// compile with t1987a.scala - -package bug.packageb -// Note that the overloading works if instead of being in the package we import it: -// replace the above line with import bug.packageb._ - -class Client { - val x = func(1) // doesn't compile: type mismatch; found: Int(1) required: String - val y = func("1") // compiles -} diff --git a/tests/untried/pos/t1996.scala b/tests/untried/pos/t1996.scala deleted file mode 100644 index 273012819..000000000 --- a/tests/untried/pos/t1996.scala +++ /dev/null @@ -1,19 +0,0 @@ -object forbug { - val l1 = List(List(ValDef(new A)), List(ValDef(new A))) - for ((e1s, e2s) <- l1.zip(l1); - (e1, e2) <- e1s.zip(e2s)) { - e1.a.doSome(20) -// () - } -} - - -class A { - def doSome(a: Int): this.type = { - println(a) - this - } -} - -case class ValDef(a: A) - diff --git a/tests/untried/pos/t201.scala b/tests/untried/pos/t201.scala deleted file mode 100644 index b0c6b8da4..000000000 --- a/tests/untried/pos/t201.scala +++ /dev/null @@ -1,7 +0,0 @@ -class C[a] { def f: a = f; } -class D[b] { class E extends C[b]; } -object Test { - val d = new D[Int]; - def e = new d.E; - e.f; -} diff --git a/tests/untried/pos/t2018.scala b/tests/untried/pos/t2018.scala deleted file mode 100644 index 198b4be42..000000000 --- a/tests/untried/pos/t2018.scala +++ /dev/null @@ -1,15 +0,0 @@ -class A { - val b = new B - - def getChildren = List(new A).iterator - - class B { - private def check = true - - private def getAncestor(p: A): A = { - val c = (p.getChildren.find(_.b.check)) match {case Some(d) => d case None => p} - - if (c == p) p else c.b.getAncestor(c) - } - } -} diff --git a/tests/untried/pos/t2023.scala b/tests/untried/pos/t2023.scala deleted file mode 100644 index 21c6fc96a..000000000 --- a/tests/untried/pos/t2023.scala +++ /dev/null @@ -1,16 +0,0 @@ -trait C[A] - -object C { - implicit def ipl[A](implicit from: A => Ordered[A]): C[A] = null -} - -object P { - def foo[A](i: A, j: A)(implicit c: C[A]): Unit = () -} - -class ImplicitChainTest { - def testTrivial: Unit = { - P.foo('0', '9') - P.foo('0', '9') - } -} diff --git a/tests/untried/pos/t2038.scala b/tests/untried/pos/t2038.scala deleted file mode 100644 index 8c8ca44da..000000000 --- a/tests/untried/pos/t2038.scala +++ /dev/null @@ -1,5 +0,0 @@ -class Test { - List(Some(classOf[java.lang.Integer]), Some(classOf[Int])).map { - case Some(f: Class[_]) => f.cast(???) - } -} diff --git a/tests/untried/pos/t2060.scala b/tests/untried/pos/t2060.scala deleted file mode 100755 index 0b9079062..000000000 --- a/tests/untried/pos/t2060.scala +++ /dev/null @@ -1,44 +0,0 @@ -/* The problem here is that we cannot insert an implicit to - * add a polymorphic method which is then instantiated to the - * right type. When searching for the implicit in the `fails to compile - * line': - * - * val failure = 1.0 + new Op[Int] - * - * we reduce the problem to finding a function from Double to - * {+: _ >: Op[Int] <: Any}, that is, a method which takes - * an argument which is an Op[Int] or a supertype thereof. - * Class Rich is not a subtype of this structural record, because - * polymorphic method instantiation is not contained in subtyping. - * That is: The method type [I](op : Op[I]): Op[I] is not a subtype - * of (Op[Int]): Op[Int]. - * At present it is unclear whether this problem can be solved. - */ -object Test { - class Op[I]; - class IntOp extends Op[Int]; - - class Rich(x : Double) { - def + (op : IntOp): IntOp = op; - def + [I](op : Op[I]): Op[I] = op; - def plus [I](op : Op[I]): Op[I] = op; - } - - implicit def iToRich(x : Double): Test.Rich = - new Rich(x); - - // fails to compile - val x = 1.0 + new Op[Int] - - // works as expected -- - // problem isn't in adding new "+" - val a = 1.0 + new IntOp; - - // works as expected -- - // problem isn't in binding type variable I - val b = 1.0 plus new Op[Int]; - - // works as expected -- - // problem isn't in using Rich.+[I](op : Op[I]) - val c = iToRich(1.0) + new Op[Int]; -} diff --git a/tests/untried/pos/t2066-2.10-compat.flags b/tests/untried/pos/t2066-2.10-compat.flags deleted file mode 100644 index 94c805674..000000000 --- a/tests/untried/pos/t2066-2.10-compat.flags +++ /dev/null @@ -1 +0,0 @@ --Xsource:2.10 diff --git a/tests/untried/pos/t2066-2.10-compat.scala b/tests/untried/pos/t2066-2.10-compat.scala deleted file mode 100644 index fb8103e4a..000000000 --- a/tests/untried/pos/t2066-2.10-compat.scala +++ /dev/null @@ -1,71 +0,0 @@ -import language._ -trait A1 { - def f[T[_]] = () -} - -trait B1 extends A1 { - override def f[T[+_]] = () -} - -trait C1 extends A1 { - override def f[T[-_]] = () -} - - -trait A2 { - def f[T[+_]] = () -} - -trait B2 extends A2 { - override def f[T[_]] = () // okay -} - -trait C2 extends A2 { - override def f[T[-_]] = () -} - - -trait A3 { - def f[T[-_]] = () -} - -trait B3 extends A3 { - override def f[T[_]] = () // okay -} - -trait C3 extends A3 { - override def f[T[-_]] = () -} - - -trait A4 { - def f[T[X[+_]]] = () -} - -trait B4 extends A4 { - override def f[T[X[_]]] = () -} - -trait A5 { - def f[T[X[-_]]] = () -} - -trait B5 extends A5 { - override def f[T[X[_]]] = () -} - - - -trait A6 { - def f[T[X[_]]] = () -} - -trait B6 extends A6 { - override def f[T[X[+_]]] = () // okay -} -trait C6 extends A6 { - override def f[T[X[_]]] = () // okay -} -trait D6 extends A6 { - override def f[T[X[-_]]] = () -} diff --git a/tests/untried/pos/t2066.scala b/tests/untried/pos/t2066.scala deleted file mode 100644 index 30cb99d45..000000000 --- a/tests/untried/pos/t2066.scala +++ /dev/null @@ -1,25 +0,0 @@ -trait A1 { - def f[T[+_]] = () -} - -trait B1 extends A1 { - override def f[T[_]] = () -} - - -trait A2 { - def f[T[-_]] = () -} - -trait B2 extends A2 { - override def f[T[_]] = () -} - - -trait A3 { - def f[T[X[_]]] = () -} - -trait B3 extends A3 { - override def f[T[X[+_]]] = () -} diff --git a/tests/untried/pos/t2081.scala b/tests/untried/pos/t2081.scala deleted file mode 100644 index 395134f71..000000000 --- a/tests/untried/pos/t2081.scala +++ /dev/null @@ -1,11 +0,0 @@ -object ScalaForRubyists { - class RichInt(n: Int) { - def days = 1000*60*60*24*n - } - - implicit def RichInt(n: Int): RichInt = new RichInt(n) - - val x = 10.days - // a couple parser corner cases I wanted not to break - val y = 5.0e0 + 5e7 -} diff --git a/tests/untried/pos/t2082.scala b/tests/untried/pos/t2082.scala deleted file mode 100755 index a7ee3789b..000000000 --- a/tests/untried/pos/t2082.scala +++ /dev/null @@ -1,39 +0,0 @@ - -trait Mapper[T <: Mapper[T]] - -trait KeyedMapper[KeyType, T <: KeyedMapper[KeyType, T]] extends Mapper[T] - - -trait KeyedMetaMapper[KeyType, T <: KeyedMapper[KeyType, T]] - -trait MappedForeignKey[KeyType, Owner <: Mapper[Owner], Other <: KeyedMapper[KeyType, Other]] - -trait IdPK - -class TestSubject extends KeyedMapper[Long, TestSubject] with IdPK - -class TestRun extends KeyedMapper[Long, TestRun] with IdPK { - object testSubject extends MappedForeignKey[Long, TestRun, TestSubject] -} - -object TestRun extends TestRun with KeyedMetaMapper[Long, TestRun] - -class MetaTestSubject extends TestSubject with KeyedMetaMapper[Long, TestSubject] -object TestSubject extends MetaTestSubject - -object Main { - - def oneToOneJoin[PType <: KeyedMapper[Long, PType] with IdPK, - CType <: KeyedMapper[Long, CType] with IdPK, - CMetaType <: CType with KeyedMetaMapper[Long, CType], - FKType <: MappedForeignKey[Long, PType, CType]] - (parents: List[PType], metaMapper: CMetaType, keyGetter: (PType) => FKType ): - Map[Long, CType] = Map.empty - - def callIt: Unit = { - oneToOneJoin[TestRun, TestSubject, MetaTestSubject, - MappedForeignKey[Long, TestRun, TestSubject]]( - List(), TestSubject, (tr: TestRun) => tr.testSubject) - } - -} diff --git a/tests/untried/pos/t2094.scala b/tests/untried/pos/t2094.scala deleted file mode 100644 index 6b6c4f077..000000000 --- a/tests/untried/pos/t2094.scala +++ /dev/null @@ -1,31 +0,0 @@ -object Test extends App { - // compiles: - Map[Int, Value]( - 0 -> KnownType(classOf[Object]), - 1 -> UnknownValue()) - - // does not compile: - Map( - 0 -> KnownType(classOf[Object]), - 1 -> UnknownValue()) - - // Experiment.scala:10: error: type mismatch; - // found : (Int, KnownType) - // required: (Int, Product with Value{def getType: Option[java.lang.Class[_$$2]]}) where type _$$2 - // 0 -> KnownType(classOf[Object]), - // ^ - // one error found -} -sealed trait Value { - def getType: Option[Class[_]] -} - -case class UnknownValue() extends Value { - def getType = None - // compiles if changed to: - // def getType: Option[Class[_]] = None -} - -case class KnownType(typ: Class[_]) extends Value { - def getType = Some(typ) -} diff --git a/tests/untried/pos/t210.scala b/tests/untried/pos/t210.scala deleted file mode 100644 index f0b907aa5..000000000 --- a/tests/untried/pos/t210.scala +++ /dev/null @@ -1,17 +0,0 @@ -trait Lang1 { - trait Exp; - trait Visitor { def f(left: Exp): Unit } - class Eval1 extends Visitor { self: Visitor => - def f(left: Exp) = () - } -} - -trait Lang2 extends Lang1 { - class Eval2 extends Eval1 { self: Visitor => } -} -/* -object Main with App { - val lang2 = new Lang2 {} - val eval = new lang2.Eval2 -} -*/ diff --git a/tests/untried/pos/t211.scala b/tests/untried/pos/t211.scala deleted file mode 100644 index d51c9706d..000000000 --- a/tests/untried/pos/t211.scala +++ /dev/null @@ -1,8 +0,0 @@ -trait A; -trait B; -class Foo extends A with B { self: A with B => } -object Test extends App { - new Foo(); - Console.println("t211 completed"); -} - diff --git a/tests/untried/pos/t2119.scala b/tests/untried/pos/t2119.scala deleted file mode 100644 index b9cb4d9c6..000000000 --- a/tests/untried/pos/t2119.scala +++ /dev/null @@ -1,4 +0,0 @@ -class A { - val orig = new java.util.ArrayList[String] - val copy = new java.util.ArrayList(orig) -} diff --git a/tests/untried/pos/t2127.scala b/tests/untried/pos/t2127.scala deleted file mode 100644 index 88cc9e708..000000000 --- a/tests/untried/pos/t2127.scala +++ /dev/null @@ -1,5 +0,0 @@ -class Foo private (val value : Int) - -abstract class Bar(val ctor : (Int) => Foo) - -object Foo extends Bar(new Foo(_)) //<--- ILLEGAL ACCESS diff --git a/tests/untried/pos/t2130-1.scala b/tests/untried/pos/t2130-1.scala deleted file mode 100644 index 8dd61c4d3..000000000 --- a/tests/untried/pos/t2130-1.scala +++ /dev/null @@ -1,5 +0,0 @@ -package foo - -package object bar { - case class Bippy(x: Int) { } -} diff --git a/tests/untried/pos/t2130-2.scala b/tests/untried/pos/t2130-2.scala deleted file mode 100644 index 1d0b33c3e..000000000 --- a/tests/untried/pos/t2130-2.scala +++ /dev/null @@ -1,17 +0,0 @@ -package foo - -package object bar { - class Bippy(x: Int) { - class Ding - object Ding - case class Dong(x: Float) - } - object Bippy { - class Dingus - object Dingus - case class Dongus(x: Float) - - def apply(xs: Int*) = new Bippy(xs.sum) - def apply() = new Bippy(5) - } -} diff --git a/tests/untried/pos/t2133.scala b/tests/untried/pos/t2133.scala deleted file mode 100644 index c74d0a4bb..000000000 --- a/tests/untried/pos/t2133.scala +++ /dev/null @@ -1,18 +0,0 @@ -trait Foo { - object bar { - private[this] def fn() = 5 - } -} - -trait Foo2 { - object bip { - def fn() = 10 - } -} - -class Bob extends AnyRef with Foo with Foo2 { - import bip._ - import bar._ - - def go() = fn() -} diff --git a/tests/untried/pos/t2168.scala b/tests/untried/pos/t2168.scala deleted file mode 100644 index 21afb239a..000000000 --- a/tests/untried/pos/t2168.scala +++ /dev/null @@ -1,4 +0,0 @@ -object Test extends App { - def foo1(x: AnyRef) = x match { case x: Function0[_] => x() } - def foo2(x: AnyRef) = x match { case x: Function0[Any] => x() } -} diff --git a/tests/untried/pos/t2171.flags b/tests/untried/pos/t2171.flags deleted file mode 100644 index eb4d19bcb..000000000 --- a/tests/untried/pos/t2171.flags +++ /dev/null @@ -1 +0,0 @@ --optimise
\ No newline at end of file diff --git a/tests/untried/pos/t2171.scala b/tests/untried/pos/t2171.scala deleted file mode 100644 index 6c754c76a..000000000 --- a/tests/untried/pos/t2171.scala +++ /dev/null @@ -1,7 +0,0 @@ -final object test { - def logIgnoredException(msg: => String) = - try 0 catch { case ex => println(msg) } - - def main (args: Array[String]): Unit = - while (true) logIgnoredException ("...") -} diff --git a/tests/untried/pos/t2179.scala b/tests/untried/pos/t2179.scala deleted file mode 100755 index 89e22b6e2..000000000 --- a/tests/untried/pos/t2179.scala +++ /dev/null @@ -1,3 +0,0 @@ -object Test { - (Nil:List[List[Double]]).reduceLeft((_: Any, _: Any) => Nil.indices.map(_ => 0d)) -} diff --git a/tests/untried/pos/t2183.scala b/tests/untried/pos/t2183.scala deleted file mode 100644 index 1243568b6..000000000 --- a/tests/untried/pos/t2183.scala +++ /dev/null @@ -1,5 +0,0 @@ -import scala.collection.mutable._ - -object Test { - val m = new HashSet[String] with SynchronizedSet[String] -} diff --git a/tests/untried/pos/t2187-2.scala b/tests/untried/pos/t2187-2.scala deleted file mode 100644 index 506cc496f..000000000 --- a/tests/untried/pos/t2187-2.scala +++ /dev/null @@ -1,7 +0,0 @@ -class Test { - def test[A](list: List[A]) = list match { - case Seq(x, y) => "xy" - case Seq(x) => "x" - case _ => "something else" - } -} diff --git a/tests/untried/pos/t2187.scala b/tests/untried/pos/t2187.scala deleted file mode 100644 index 8a3353154..000000000 --- a/tests/untried/pos/t2187.scala +++ /dev/null @@ -1,7 +0,0 @@ -// bug #2187 -object Test extends App { - def foo(xs:List[String]) = xs match { - case Seq(x) => x - case Seq(x,y) => "" - } -} diff --git a/tests/untried/pos/t2194.scala b/tests/untried/pos/t2194.scala deleted file mode 100644 index e87be509d..000000000 --- a/tests/untried/pos/t2194.scala +++ /dev/null @@ -1,8 +0,0 @@ -// tricky to do differently? -class C - -object Test { - def f = { object o extends C; o} - val y: C = f - val x = f -} diff --git a/tests/untried/pos/t2208_pos.scala b/tests/untried/pos/t2208_pos.scala deleted file mode 100644 index dd6d686ba..000000000 --- a/tests/untried/pos/t2208_pos.scala +++ /dev/null @@ -1,8 +0,0 @@ -object Test { - class A - - class B[X] - type Alias[X <: A] = B[X] - - val foo: B[A] = new Alias[A] // check that type aliases can be instantiated -} diff --git a/tests/untried/pos/t2234.scala b/tests/untried/pos/t2234.scala deleted file mode 100644 index 218e9f5e5..000000000 --- a/tests/untried/pos/t2234.scala +++ /dev/null @@ -1,4 +0,0 @@ -object Test extends App { - val res0 = 1 #:: Stream.empty - res0 match { case 1 #:: xs => xs } -} diff --git a/tests/untried/pos/t2260.scala b/tests/untried/pos/t2260.scala deleted file mode 100644 index 4e4cc5ab2..000000000 --- a/tests/untried/pos/t2260.scala +++ /dev/null @@ -1,10 +0,0 @@ -package top - -class Text(val value: String) extends Ordered[Text] { - def compare(that: Text) = value.compare(that.value) -} - -object Index { - import scala.collection.immutable.TreeMap - val tree = TreeMap.empty[Text, String] -} diff --git a/tests/untried/pos/t2261.scala b/tests/untried/pos/t2261.scala deleted file mode 100644 index 06360d500..000000000 --- a/tests/untried/pos/t2261.scala +++ /dev/null @@ -1,9 +0,0 @@ -class Bob[T] -object Test { - implicit def foo2bar[T](xs: List[T]): Bob[T] = new Bob[T] - var x: Bob[Int] = null - x = List(1,2,3) - // the problem here was that somehow the type variable that was used to infer the type argument for List.apply - // would accumulate several conflicting constraints - // can't reproduce with -} diff --git a/tests/untried/pos/t229.scala b/tests/untried/pos/t229.scala deleted file mode 100644 index 72ddfa74f..000000000 --- a/tests/untried/pos/t229.scala +++ /dev/null @@ -1,3 +0,0 @@ -class Test extends java.util.ArrayList[Object] { - override def add(index: Int, element: java.lang.Object): Unit = {} -} diff --git a/tests/untried/pos/t2293.scala b/tests/untried/pos/t2293.scala deleted file mode 100644 index 536d4ec3d..000000000 --- a/tests/untried/pos/t2293.scala +++ /dev/null @@ -1,5 +0,0 @@ -import scala.collection.JavaConversions._ - -object Test { - val m: java.util.Map[String,String] = collection.mutable.Map("1"->"2") -} diff --git a/tests/untried/pos/t2305.scala b/tests/untried/pos/t2305.scala deleted file mode 100644 index 3338ab911..000000000 --- a/tests/untried/pos/t2305.scala +++ /dev/null @@ -1,26 +0,0 @@ -import java.util.ArrayList - -trait Bind[Z[_]] - -class MySerializable[X] extends java.io.Serializable - -object Bind { - implicit val JavaArrayListBind: Bind[ArrayList] = new Bind[ArrayList] {} - implicit val MySerializableBind: Bind[MySerializable] = new Bind[MySerializable] {} -} - -object works { - // this works fine: - def runbind(implicit bind: Bind[MySerializable]): Unit = {} - runbind -} - -object breaks { - def runbind(implicit bind: Bind[ArrayList]): Unit = {} - runbind - /*java.lang.AssertionError: assertion failed: java.io.Serializable - at scala.Predef$.assert(Predef.scala:107) - at scala.tools.nsc.symtab.Types$TypeRef.transform(Types.scala:1417) - at scala.tools.nsc.symtab.Types$TypeRef.baseType(Types.scala:1559) - */ -} diff --git a/tests/untried/pos/t2310.scala b/tests/untried/pos/t2310.scala deleted file mode 100644 index 68912b496..000000000 --- a/tests/untried/pos/t2310.scala +++ /dev/null @@ -1,38 +0,0 @@ -import scala.Stream._ - -object consistencyError { - /* this gives an error: - Consistency problem compiling (virtual file)! - Trying to call method body%1(List(scala.collection.immutable.Stream[A])) with arguments (List(tp2, temp6, temp5)) - case (l #:: ls, rs) => None - ^ - scala.tools.nsc.symtab.Types$TypeError: too many arguments for method body%1: (val rs: scala.collection.immutable.Stream[A])None.type - - two errors found - vss(0) = - args = List(tp2, temp6, temp5) - vss(1) = value rs, value ls, value l - args = List(tp2, temp6, temp5) - targets(0) = FinalState(,scala.None) - targets(1) = FinalState(,scala.None) - labels(1) = method body%1 - labels(0) = method body%0 - bx = 1 - label.tpe = (val rs: scala.collection.immutable.Stream[A])None.type - */ - def crash[A](lefts: Stream[A], rights: Stream[A]) = (lefts, rights) match { - case (Stream.Empty, Stream.Empty) => None - case (l #:: ls, rs) => None - } - - // These work - // def works1[A](lefts: Stream[A]) = lefts match { - // case Stream.Empty => None - // case l #:: ls => None - // } - // - // def works2[A](lefts: Stream[A], rights: Stream[A]) = (lefts, rights) match { - // case (Stream.Empty, Stream.Empty) => None - // case (ls, rs) => None - // } -} diff --git a/tests/untried/pos/t2331.scala b/tests/untried/pos/t2331.scala deleted file mode 100644 index a7f80ac98..000000000 --- a/tests/untried/pos/t2331.scala +++ /dev/null @@ -1,11 +0,0 @@ -trait C { - def m[T]: T -} - -object Test { - val o /*: C --> no crash*/ = new C { - def m[T]: Nothing /*: T --> no crash*/ = sys.error("omitted") - } - - o.m[Nothing] -} diff --git a/tests/untried/pos/t2377/Q.java b/tests/untried/pos/t2377/Q.java deleted file mode 100644 index e3d11c70e..000000000 --- a/tests/untried/pos/t2377/Q.java +++ /dev/null @@ -1,12 +0,0 @@ -public final class Q { - public static final class Stage { - public static Builder newBuilder() { return new Builder(); } - public static final class Builder { } - public Builder toBuilder() { return newBuilder(); } - } - public static final class WorkUnit { - public static Builder newBuilder() { return new Builder(); } - public static final class Builder { } - public Builder toBuilder() { return newBuilder(); } - } -} diff --git a/tests/untried/pos/t2377/a.scala b/tests/untried/pos/t2377/a.scala deleted file mode 100644 index bda59ce0d..000000000 --- a/tests/untried/pos/t2377/a.scala +++ /dev/null @@ -1,8 +0,0 @@ -import Q._ - -class Bop(var workUnit: WorkUnit) { - def addStages(stageBuilder: Stage.Builder): Unit = { - val builder = workUnit.toBuilder - () - } -} diff --git a/tests/untried/pos/t2399.scala b/tests/untried/pos/t2399.scala deleted file mode 100644 index a99998a0a..000000000 --- a/tests/untried/pos/t2399.scala +++ /dev/null @@ -1,14 +0,0 @@ -trait That1[A] -trait That2[A, R <: That2[A, R]] - -trait T[A, This >: Null <: That1[A] with T[A, This]] extends That2[A, This] { - self: This => - - private var next: This = _ - def isEmpty = next eq null - - def length: Int = { - def loop(x: This, cnt: Int): Int = if (x.isEmpty) cnt else loop(x.next, cnt + 1) - loop(self, 0) - } -} diff --git a/tests/untried/pos/t2405.scala b/tests/untried/pos/t2405.scala deleted file mode 100644 index 224b2ce83..000000000 --- a/tests/untried/pos/t2405.scala +++ /dev/null @@ -1,23 +0,0 @@ -object A { implicit val x: Int = 1 } - -// Problem as stated in the ticket. -object Test1 { - import A.{x => y} - implicitly[Int] -} - -// Testing for the absense of shadowing #1. -object Test2 { - import A.{x => y} - val x = 2 - implicitly[Int] -} - -// Testing for the absense of shadowing #2. -object Test3 { - { - import A.{x => y} - def x: Int = 0 - implicitly[Int] - } -} diff --git a/tests/untried/pos/t2409/J.java b/tests/untried/pos/t2409/J.java deleted file mode 100644 index 6b7c45ff6..000000000 --- a/tests/untried/pos/t2409/J.java +++ /dev/null @@ -1,4 +0,0 @@ -class J { - static class J2 { } - J(J2 j2) { } -} diff --git a/tests/untried/pos/t2409/t2409.scala b/tests/untried/pos/t2409/t2409.scala deleted file mode 100644 index 0412f7d82..000000000 --- a/tests/untried/pos/t2409/t2409.scala +++ /dev/null @@ -1 +0,0 @@ -object S { new J(null) } diff --git a/tests/untried/pos/t2413/TestJava.java b/tests/untried/pos/t2413/TestJava.java deleted file mode 100644 index 252c01fbc..000000000 --- a/tests/untried/pos/t2413/TestJava.java +++ /dev/null @@ -1,7 +0,0 @@ -package pack; - -public class TestJava { - protected String repeatParam(String ... items) { - return "nothing"; - } -} diff --git a/tests/untried/pos/t2413/TestScalac.scala b/tests/untried/pos/t2413/TestScalac.scala deleted file mode 100644 index 098e852dd..000000000 --- a/tests/untried/pos/t2413/TestScalac.scala +++ /dev/null @@ -1,23 +0,0 @@ -import pack.TestJava - -class Foo extends TestJava { - - // THIS METHOD YIELDS TO CRASH -/* def foomethod : Option[String] => Unit = { - case None => - val path = repeatParam("s","a","b","c") - () - case Some(error) => - () - } - - // THIS IS OK - def foomethod2 : String = repeatParam("s","a"); - - // THIS IS OK - val aVal = repeatParam("1","2","3") */ - - // THIS YIELDS TO CRASH - for (a <- 1 to 4 ; anotherVal = repeatParam("1","2","3")) - yield anotherVal -} diff --git a/tests/untried/pos/t2421.scala b/tests/untried/pos/t2421.scala deleted file mode 100644 index 2544a1cb3..000000000 --- a/tests/untried/pos/t2421.scala +++ /dev/null @@ -1,14 +0,0 @@ -object Test { - abstract class <~<[-From, +To] extends (From => To) - implicit def trivial[A]: A <~< A = sys.error("") - - - trait Forcible[T] - implicit val forcibleInt: (Int <~< Forcible[Int]) = sys.error("") - - def headProxy[P <: Forcible[Int]](implicit w: Int <~< P): P = sys.error("") - - headProxy - // trivial[Int] should not be considered a valid implicit, since w would have type Int <~< Int, - // and headProxy's type parameter P cannot be instantiated to Int -} diff --git a/tests/untried/pos/t2421_delitedsl.scala b/tests/untried/pos/t2421_delitedsl.scala deleted file mode 100644 index 2580592d9..000000000 --- a/tests/untried/pos/t2421_delitedsl.scala +++ /dev/null @@ -1,37 +0,0 @@ -trait DeliteDSL { - abstract class <~<[-From, +To] extends (From => To) - implicit def trivial[A]: A <~< A = new (A <~< A) {def apply(x: A) = x} - - trait Forcible[T] - object Forcible { - def factory[T](f: T => Forcible[T]) = new (T <~< Forcible[T]){def apply(x: T) = f(x)} - } - - case class DeliteInt(x: Int) extends Forcible[Int] - implicit val forcibleInt: DeliteDSL.this.<~<[Int,DeliteDSL.this.Forcible[Int]] = Forcible.factory(DeliteInt(_: Int)) - - import scala.collection.Traversable - class DeliteCollection[T](val xs: Traversable[T]) { - // must use existential in bound of P, instead of T itself, because we cannot both have: - // Test.x below: DeliteCollection[T=Int] -> P=DeliteInt <: Forcible[T=Int], as T=Int <~< P=DeliteInt - // Test.xAlready below: DeliteCollection[T=DeliteInt] -> P=DeliteInt <: Forcible[T=DeliteInt], as T=DeliteInt <~< P=DeliteInt - // this would required DeliteInt <: Forcible[Int] with Forcible[DeliteInt] - - def headProxy[P <: Forcible[_]](implicit w: T <~< P): P = xs.head - } - // If T is already a proxy (it is forcible), the compiler should use - // forcibleIdentity to deduce that P=T. If T is Int, the compiler - // should use intToForcible to deduce that P=DeliteInt. - // - // Without this feature, the user must write 'xs.proxyOfFirst[DeliteInt]', - // with the feature they can write 'xs.proxyOfFirst', which is shorter and - // avoids exposing internal DELITE types to the world. - - object Test { - val x = new DeliteCollection(List(1,2,3)).headProxy - // inferred: val x: Forcible[Int] = new DeliteCollection[Int](List.apply[Int](1, 2, 3)).headProxy[Forcible[Int]](forcibleInt); - - val xAlready = new DeliteCollection(List(DeliteInt(1),DeliteInt(2),DeliteInt(3))).headProxy - // inferred: val xAlready: DeliteInt = new DeliteCollection[DeliteInt](List.apply[DeliteInt](DeliteInt(1), DeliteInt(2), DeliteInt(3))).headProxy[DeliteInt](trivial[DeliteInt]); - } -} diff --git a/tests/untried/pos/t2421b_pos.scala b/tests/untried/pos/t2421b_pos.scala deleted file mode 100644 index 679b8a8d6..000000000 --- a/tests/untried/pos/t2421b_pos.scala +++ /dev/null @@ -1,19 +0,0 @@ -object Test { - class A - class B - class C - class F[X] - - def f(implicit aa: F[A]) = println(aa) - - implicit def a : F[A] = new F[A]() - implicit def b[X <: B]: Test.F[X] = new F[X]() - - f -} -/* bug: -error: ambiguous implicit values: - both method b in object Test1 of type [X <: Test1.B]Test1.F[X] - and method a in object Test1 of type => Test1.F[Test1.A] - match expected type Test1.F[Test1.A] -*/ diff --git a/tests/untried/pos/t2421c.scala b/tests/untried/pos/t2421c.scala deleted file mode 100644 index bd24cacd7..000000000 --- a/tests/untried/pos/t2421c.scala +++ /dev/null @@ -1,17 +0,0 @@ -object Test { - class A - class B - class C - class F[X] - - def f(implicit aa: F[A]) = println(aa) - - implicit def a : F[A] = new F[A]() - - // generalised from t2421b to verify we check enough - class G[X] - implicit def g[X]: Test.G[X] = new G[X]() - implicit def b[X <: B](implicit mx: G[X]): Test.F[X] = new F[X]() - - f -} diff --git a/tests/untried/pos/t2425.scala b/tests/untried/pos/t2425.scala deleted file mode 100755 index 477d5467a..000000000 --- a/tests/untried/pos/t2425.scala +++ /dev/null @@ -1,15 +0,0 @@ -trait B -class D extends B -object Test extends App { - def foo[T](bar: T) = { - bar match { - case _: Array[Array[_]] => println("array 2d") - case _: Array[_] => println("array 1d") - case _ => println("something else") - } - } - foo(Array.fill(10)(2)) - foo(Array.fill(10, 10)(2)) - foo(Array.fill(10, 10, 10)(2)) - foo(List(1, 2, 3)) -} diff --git a/tests/untried/pos/t2429.scala b/tests/untried/pos/t2429.scala deleted file mode 100755 index 4cda3bde1..000000000 --- a/tests/untried/pos/t2429.scala +++ /dev/null @@ -1,25 +0,0 @@ -object Msg { - trait T - - trait TSeq - - object TSeq { - implicit def fromSeq(s: Seq[T]): TSeq = sys.error("stub") - } - - def render: Unit = { - val msgs: TSeq = (List[(Any, Any)]().flatMap { - case (a, b) => { - a match { - case _ => b match { - case _ => sys.error("stub") - } - } - } - } /*: Seq[T] Adding this type annotation avoids the compile error.*/) - } -} -object Oops { - implicit def someImplicit(s: Seq[_]): String = sys.error("stub") - def item: String = Nil map { case e: Any => e } -} diff --git a/tests/untried/pos/t2433/A.java b/tests/untried/pos/t2433/A.java deleted file mode 100755 index 340690c40..000000000 --- a/tests/untried/pos/t2433/A.java +++ /dev/null @@ -1,4 +0,0 @@ -class A223 extends B223.Inner { - static class Inner {} - void foo() {} -}
\ No newline at end of file diff --git a/tests/untried/pos/t2433/B.java b/tests/untried/pos/t2433/B.java deleted file mode 100755 index 151dd71ca..000000000 --- a/tests/untried/pos/t2433/B.java +++ /dev/null @@ -1,4 +0,0 @@ -class B223 { - static class Inner {} - void m(A223.Inner x) {} -}
\ No newline at end of file diff --git a/tests/untried/pos/t2433/Test.scala b/tests/untried/pos/t2433/Test.scala deleted file mode 100755 index 02fd89b64..000000000 --- a/tests/untried/pos/t2433/Test.scala +++ /dev/null @@ -1,3 +0,0 @@ -object Test { - (new A223).foo() -} diff --git a/tests/untried/pos/t2435.scala b/tests/untried/pos/t2435.scala deleted file mode 100644 index 697e9e1f2..000000000 --- a/tests/untried/pos/t2435.scala +++ /dev/null @@ -1,27 +0,0 @@ -object Bug { - abstract class FChain { - type T - - def chain(constant:String) = - new FConstant[this.type](constant, this) //removing [this.type], everything compiles - } - - case class FConstant[E <: FChain](constant:String, tail:E) extends FChain { - type T = tail.T - } - - object FNil extends FChain { - type T = Unit - } - -} - -object Test { - import Bug._ - println("Compiles:") - val a1 = FNil.chain("a").chain("a") - val a2 = a1.chain("a") - - println("\nDoesn't compile:") - val a = FNil.chain("a").chain("a").chain("a") -} diff --git a/tests/untried/pos/t2441pos.scala b/tests/untried/pos/t2441pos.scala deleted file mode 100644 index 25eb2232c..000000000 --- a/tests/untried/pos/t2441pos.scala +++ /dev/null @@ -1,8 +0,0 @@ -abstract class A { - private def foo = List(1, 2) -} -trait B extends A { - private def foo = List("a", "b") - // However it compiles correctly if the type is given: - // private def foo: List[String] = List("a", "b") -} diff --git a/tests/untried/pos/t2444.scala b/tests/untried/pos/t2444.scala deleted file mode 100644 index fac1e95d0..000000000 --- a/tests/untried/pos/t2444.scala +++ /dev/null @@ -1,15 +0,0 @@ -object Test { - - trait Foo - - class Bar { - object baz extends Foo - } - - def frob[P1, P2<:Foo](f:P1 => P2) = () - - def main(args:Array[String]) : Unit = { - frob((p:Bar) => p.baz) - } - -} diff --git a/tests/untried/pos/t245.scala b/tests/untried/pos/t245.scala deleted file mode 100644 index 570ac4178..000000000 --- a/tests/untried/pos/t245.scala +++ /dev/null @@ -1,18 +0,0 @@ -class Value {} - -object Test { - - implicit def view(v: Value): Int = 0 - - def foo(i: Int): Int = 0 - - def fun0 : Value = null - def fun0(i: Int ): Value = null - - def fun1(i: Int ): Value = null - def fun1(l: Long): Value = null - - foo(fun0 ); - foo(fun1(new Value)); - -} diff --git a/tests/untried/pos/t2454.scala b/tests/untried/pos/t2454.scala deleted file mode 100644 index 00f2e6f67..000000000 --- a/tests/untried/pos/t2454.scala +++ /dev/null @@ -1,25 +0,0 @@ -package am; - -trait One[M[_]] { - val x : Int -} - -trait Two[M[_,_]] { - val x : Int -} - -object Test { - // Works. - val x = new Two[Map] { - val x = 5 - } - - val o = new One[java.util.List] { - val x = 1 - } - - // Does not work - val y = new Two[java.util.concurrent.ConcurrentHashMap] { - val x = 3 - } -} diff --git a/tests/untried/pos/t2464/JavaOne.java b/tests/untried/pos/t2464/JavaOne.java deleted file mode 100644 index ff36868a0..000000000 --- a/tests/untried/pos/t2464/JavaOne.java +++ /dev/null @@ -1,5 +0,0 @@ -class ClassTwo { - public static class Child { - public void func2() {return ;} - } -} diff --git a/tests/untried/pos/t2464/ScalaOne_1.scala b/tests/untried/pos/t2464/ScalaOne_1.scala deleted file mode 100644 index 1caf8ecae..000000000 --- a/tests/untried/pos/t2464/ScalaOne_1.scala +++ /dev/null @@ -1,6 +0,0 @@ -class ScalaClassOne extends ClassTwo.Child { - def func4() = { - func2 - } -} - diff --git a/tests/untried/pos/t2464/t2464_2.scala b/tests/untried/pos/t2464/t2464_2.scala deleted file mode 100644 index 13a52c952..000000000 --- a/tests/untried/pos/t2464/t2464_2.scala +++ /dev/null @@ -1,3 +0,0 @@ -object Test { - val c1 = new ScalaClassOne -} diff --git a/tests/untried/pos/t247.scala b/tests/untried/pos/t247.scala deleted file mode 100644 index fdcafeb2c..000000000 --- a/tests/untried/pos/t247.scala +++ /dev/null @@ -1,26 +0,0 @@ -class Order[t](less:(t,t) => Boolean,equal:(t,t) => Boolean) {} - -trait Map[A, B] extends scala.collection.Map[A, B] { - val factory:MapFactory[A] -} -abstract class MapFactory[A] { - def Empty[B]:Map[A,B]; -} - -class TreeMapFactory[KEY](newOrder:Order[KEY]) extends MapFactory[KEY] { - val order = newOrder; - def Empty[V] = new TreeMap[KEY,V](new TreeMapFactory[KEY](order)); -} - -class Tree[KEY,Entry](order:Order[KEY]) { - def size =0; -} - -class TreeMap[KEY,VALUE](_factory:TreeMapFactory[KEY]) extends Tree[KEY,Tuple2[KEY,VALUE]](_factory.order) with scala.collection.DefaultMap[KEY, VALUE] with Map[KEY, VALUE] { - val factory = _factory - val order = _factory.order; - def this(newOrder:Order[KEY]) = this(new TreeMapFactory[KEY](newOrder)); - def get(key:KEY) = null; - def iterator:Iterator[Tuple2[KEY,VALUE]] = null; - override def size = super[Tree].size -} diff --git a/tests/untried/pos/t2484.scala b/tests/untried/pos/t2484.scala deleted file mode 100755 index 15165c247..000000000 --- a/tests/untried/pos/t2484.scala +++ /dev/null @@ -1,19 +0,0 @@ -import concurrent.ExecutionContext.Implicits.global - -class Admin extends javax.swing.JApplet { - val jScrollPane = new javax.swing.JScrollPane (null, 0, 0) - def t2484: Unit = { - scala.concurrent.Future {jScrollPane.synchronized { - def someFunction () = {} - //scala.concurrent.ops.spawn {someFunction ()} - jScrollPane.addComponentListener (new java.awt.event.ComponentAdapter {override def componentShown (e: java.awt.event.ComponentEvent) = { - someFunction (); jScrollPane.removeComponentListener (this)}}) - }} - } -} -// t2630.scala -object Test { - def meh(xs: List[Any]): Unit = { - xs map { x => (new AnyRef {}) } - } -} diff --git a/tests/untried/pos/t2486.scala b/tests/untried/pos/t2486.scala deleted file mode 100644 index 69fe4c127..000000000 --- a/tests/untried/pos/t2486.scala +++ /dev/null @@ -1,3 +0,0 @@ -class A[T] -class B extends A[Int] -class C[T] extends A[T] { def f(t: A[T]) = t match { case x: B => () } } |