Some more tests

Author: odersky

tests/neg/implicitSearch.scala

@@ -0,0 +1,18 @@
+object Test {
+
+  type T = String
+
+  class Ord[T]
+  implicit def listOrd[T](implicit o: Ord[T]): Ord[List[T]] = ???
+  implicit def intOrd: Ord[Int] = ???
+
+  def sort[T](xs: List[T])(implicit o: Ord[T]): List[T] = ???
+
+  def g(xs: List[Int]) =
+    sort(xs)
+
+  def f[T](xs: List[List[List[T]]]) =
+    sort(xs)  // error TODO: improve the -explain-implicts diagnostic
+
+    listOrd(listOrd(implicitly[Ord[T]] /*not found*/)) // error
+}

tests/pos/cm/ConfManagement.scala

@@ -0,0 +1,25 @@
+package cm
+
+case class Person(name: String)
+case class Paper(title: String, authors: List[Person], body: String)
+
+class Viewers(val persons: Set[Person])
+
+class ConfManagement(papers: List[Paper], realScore: Map[Paper, Int]) {
+ 
+  private def hasConflict(ps1: Set[Person], ps2: Iterable[Person]) = 
+    ps2.exists(ps1 contains _)
+
+  def viewers(implicit vs: Viewers): Set[Person] =
+    vs.persons
+
+  def score(paper: Paper)(implicit vs: Viewers): Int =
+    if (hasConflict(viewers, paper.authors)) -100
+    else realScore(paper)
+
+  def viewRankings(implicit vs: Viewers): List[Paper] =
+    papers.sortBy(score(_))
+
+  def delegate[T](query: Viewers => T, p: Person)(implicit vs: Viewers): T =
+    query(new Viewers(viewers + p))
+}

tests/run/i2508.scala

@@ -0,0 +1,16 @@
+trait Eq[T] {
+  def eq(a: T, b: T): Boolean
+}
+
+object Eq {
+  implicit object int extends Eq[Int] {
+    def eq(a: Int, b: Int) = a == b
+  }
+}
+
+object Test {
+  def f[T](a: T, b: T)(implicit T: Eq[T]) = T.eq(a, b)
+
+  def main(args: Array[String]) =
+    assert(!f(1, 2))
+}