More tests

Author: odersky

tests/untried/pos/t1071.scala renamed to tests/pending/pos/t1071.scala

@@ -15,3 +15,5 @@ object Test {
   c.a // error
 }
 
+// to fix this we'd need to check accessibility in the isMatchedBy of a SelectionProto,
+// so that we can insert an implicit if this does not work. Need to check performance impact of this.

tests/pending/pos/t1208.scala

@@ -0,0 +1,7 @@
+object Test {
+  object Foo
+  val f: Option[Foo.type] = Some(Foo)
+}
+
+// unsupported with current typing rules.
+// on the other hand, we need a way to refer to a module class.

tests/untried/pos/t1236.scala renamed to tests/pending/pos/t1236.scala

@@ -4,7 +4,7 @@ trait Empty[E[_]] {
 
 object T {
   val ListEmpty = new Empty[List] {
-    def e[A] = Nil
+    def e[A]/*: List*/ = Nil  // uncomment to get crash
   }
 
   def foo[F[_]](q:(String,String)) = "hello"

tests/untried/pos/t1272.scala renamed to tests/pending/pos/t1272.scala

@@ -6,7 +6,7 @@
 class A  {
   var name:String = _
   def getName() = name
-  def this(name:String, age:Int){this();this.name=name}
+  def this(name:String, age:Int) = {this(); this.name = name}
 
 }
 

tests/untried/pos/t1279a.scala renamed to tests/pending/pos/t1279a.scala

@@ -0,0 +1,14 @@
+trait T[U] {
+  def x: T[_ <: U]
+}
+
+object T {
+  def unapply[U](t: T[U]): Option[T[_ <: U]] = Some(t.x)
+}
+
+object Test {
+  def f[W](t: T[W]) = t match {
+    case T(T(_)) => ()
+  }
+}
+