implicit-search-higher-kinded test did not require higher kinds- it tests the companion scope search

This commit is contained in:
Mark Harrah 2013-02-28 08:56:58 -05:00
parent 7cca5422c4
commit d2f063c3b9
9 changed files with 10 additions and 16 deletions

View File

@ -0,0 +1,2 @@
trait A
object A

View File

@ -0,0 +1,4 @@
trait A
object A {
implicit def m[A]: M[A] = ???
}

View File

@ -0,0 +1,4 @@
class M[A](a: A)
object M {
implicit def m[A]: M[A] = ???
}

View File

@ -1,6 +1,4 @@
# Tests if dependencies on implicit scope are tracked properly
# We use higher kinded types in order to make type checker to
# infer more and thus obscure true dependencies
$ copy-file changes/A1.scala A.scala
$ copy-file changes/B.scala B.scala
$ copy-file changes/M.scala M.scala

View File

@ -1,3 +0,0 @@
import scala.languageFeature.higherKinds
trait A
object A

View File

@ -1,5 +0,0 @@
import scala.languageFeature.higherKinds
trait A
object A {
implicit def m[MM[_], A]: MM[A] = ???
}

View File

@ -1,6 +0,0 @@
import scala.languageFeature.higherKinds
class M[A](a: A)
object M {
implicit def m[MM[_], A]: MM[A] = ???
}