diff options
author | odersky <odersky@gmail.com> | 2015-07-06 16:54:39 +0200 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2015-07-06 16:54:39 +0200 |
commit | 70f18eb4aa5aff64aa8571c16026c456bc1db5fc (patch) | |
tree | a0f296c1c462d912d20bb2cef853298e9c8e1731 /tests | |
parent | 6a36dd83e78fe2d6269626480577f8166ab7e37e (diff) | |
parent | e984e232bb21c8b24f7f591239afd1672fcf504e (diff) | |
download | dotty-70f18eb4aa5aff64aa8571c16026c456bc1db5fc.tar.gz dotty-70f18eb4aa5aff64aa8571c16026c456bc1db5fc.tar.bz2 dotty-70f18eb4aa5aff64aa8571c16026c456bc1db5fc.zip |
Merge pull request #694 from dotty-staging/fix/dependent-methods
Fix/dependent methods
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/depmet_implicit_chaining_zw.scala (renamed from tests/pending/pos/depmet_implicit_chaining_zw.scala) | 6 | ||||
-rw-r--r-- | tests/pos/implicitNums.scala | 15 |
2 files changed, 20 insertions, 1 deletions
diff --git a/tests/pending/pos/depmet_implicit_chaining_zw.scala b/tests/pos/depmet_implicit_chaining_zw.scala index a9da1e976..f0e8a373b 100644 --- a/tests/pending/pos/depmet_implicit_chaining_zw.scala +++ b/tests/pos/depmet_implicit_chaining_zw.scala @@ -22,7 +22,11 @@ object ZipWith { // thus, I present ?: implicitly on steroids! def ?[T <: AnyRef](implicit w: T): w.type = w + type _0 = Zero + type _1 = Succ[Zero] type _2 = Succ[Succ[Zero]] - val zw = ?[ZipWith[_2, Int => String => Boolean]].x // : Stream[Int] => Stream[String] => Stream[Boolean] + val zw = ?[ZipWith[_2, Int => String => Boolean]]( + SuccZipWith[_1, Int, String => Boolean]( + SuccZipWith[_0, String, Boolean])).x // val zw = implicitly[ZipWith[Succ[Succ[Zero]], Int => String => Boolean]{type T = Stream[Int] => Stream[String] => Stream[Boolean]}].x } diff --git a/tests/pos/implicitNums.scala b/tests/pos/implicitNums.scala new file mode 100644 index 000000000..48c5302f7 --- /dev/null +++ b/tests/pos/implicitNums.scala @@ -0,0 +1,15 @@ +object Test { + + trait Number + trait Zero extends Number + trait Succ[N <: Number](n: N) extends Number + + implicit def succ[N <: Number](implicit n: N): Succ[N] = new Succ[N](n) {} + implicit def zero: Zero = new Zero{} + + implicitly[Zero] + implicitly[Succ[Zero]] + implicitly[Succ[Succ[Zero]]] + implicitly[Succ[Succ[Succ[Zero]]]] + +} |